Skip to content

Commit b3cb599

Browse files
authored
chore: ensure format checking is with dotnet 6 (#746)
1 parent 714e177 commit b3cb599

14 files changed

+25
-21
lines changed

.github/workflows/check_only_keyword.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ on:
88

99
jobs:
1010
grep-only-verification-keyword:
11-
runs-on: ubuntu-latest
11+
runs-on: ubuntu-22.04
1212
permissions:
1313
issues: write
1414
pull-requests: write

.github/workflows/dafny_interop_test_net.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ jobs:
3636
matrix:
3737
os: [
3838
windows-latest,
39-
ubuntu-latest,
39+
ubuntu-22.04,
4040
macos-13,
4141
]
4242
runs-on: ${{ matrix.os }}

.github/workflows/dafny_interop_test_vector_net.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ jobs:
3535
matrix:
3636
os: [
3737
windows-latest,
38-
ubuntu-latest,
38+
ubuntu-22.04,
3939
macos-13,
4040
]
4141
runs-on: ${{matrix.os}}
@@ -145,7 +145,7 @@ jobs:
145145
strategy:
146146
matrix:
147147
os: [
148-
ubuntu-latest,
148+
ubuntu-22.04,
149149
macos-13,
150150
]
151151
runs-on: ${{ matrix.os }}
@@ -250,7 +250,7 @@ jobs:
250250
strategy:
251251
matrix:
252252
os: [
253-
ubuntu-latest,
253+
ubuntu-22.04,
254254
macos-13,
255255
]
256256
runs-on: ${{ matrix.os }}

.github/workflows/library_codegen.yml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ jobs:
2121
# in this workflow
2222
dotnet-version: ["6.0.x"]
2323
go-version: [1.23]
24-
os: [ubuntu-latest]
24+
os: [ubuntu-22.04]
2525
runs-on: ${{ matrix.os }}
2626
defaults:
2727
run:
@@ -53,6 +53,10 @@ jobs:
5353
with:
5454
dotnet-version: ${{ matrix.dotnet-version }}
5555

56+
# even though we just installed dotnet 6, maybe dotnet 8 is out there somewhere
57+
- name: Create temporary global.json
58+
run: echo '{"sdk":{"rollForward":"latestFeature","version":"6.0.0"}}' > ./global.json
59+
5660
- name: Setup Java 17 for codegen
5761
uses: actions/setup-java@v3
5862
with:

.github/workflows/library_go_tests.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ jobs:
2424
os: [
2525
# Sed script doesn't work properly on windows
2626
# windows-latest,
27-
ubuntu-latest,
27+
ubuntu-22.04,
2828
macos-13,
2929
]
3030
runs-on: ${{ matrix.os }}

.github/workflows/library_interop_test_vectors.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ jobs:
2222
os: [
2323
# https://taskei.amazon.dev/tasks/CrypTool-5283
2424
# windows-latest,
25-
ubuntu-latest,
25+
ubuntu-22.04,
2626
macos-13,
2727
]
2828
language: [java, net, rust, go]
@@ -200,7 +200,7 @@ jobs:
200200
os: [
201201
# https://taskei.amazon.dev/tasks/CrypTool-5283
202202
# windows-latest,
203-
ubuntu-latest,
203+
ubuntu-22.04,
204204
macos-13,
205205
]
206206
encrypting_language: [java, net, rust, go]

.github/workflows/library_interop_tests.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ jobs:
2626
matrix:
2727
os: [
2828
windows-latest,
29-
ubuntu-latest,
29+
ubuntu-22.04,
3030
macos-13,
3131
]
3232
runs-on: ${{ matrix.os }}
@@ -123,7 +123,7 @@ jobs:
123123
strategy:
124124
matrix:
125125
os: [
126-
ubuntu-latest,
126+
ubuntu-22.04,
127127
macos-13,
128128
]
129129
runs-on: ${{ matrix.os }}
@@ -228,7 +228,7 @@ jobs:
228228
strategy:
229229
matrix:
230230
os: [
231-
ubuntu-latest,
231+
ubuntu-22.04,
232232
macos-13,
233233
]
234234
runs-on: ${{ matrix.os }}

.github/workflows/library_java_tests.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ jobs:
2424
os: [
2525
# TODO just test on mac for now
2626
#windows-latest,
27-
#ubuntu-latest,
27+
#ubuntu-22.04,
2828
macos-13
2929
]
3030
runs-on: ${{ matrix.os }}

.github/workflows/library_legacy_interop_test_vectors.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ jobs:
2222
os: [
2323
# https://taskei.amazon.dev/tasks/CrypTool-5283
2424
# windows-latest,
25-
ubuntu-latest,
25+
ubuntu-22.04,
2626
macos-13,
2727
]
2828
# java struggles with the json parsing

.github/workflows/library_net_tests.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ jobs:
3333
library: [AwsEncryptionSDK]
3434
os: [
3535
windows-latest,
36-
ubuntu-latest,
36+
ubuntu-22.04,
3737
macos-13,
3838
]
3939
runs-on: ${{ matrix.os }}
@@ -139,7 +139,7 @@ jobs:
139139
os: [
140140
# Sed script doesn't work properly on windows
141141
# windows-latest,
142-
ubuntu-latest,
142+
ubuntu-22.04,
143143
macos-13,
144144
]
145145
runs-on: ${{ matrix.os }}

0 commit comments

Comments
 (0)