Skip to content

Commit bf43328

Browse files
ajewellamzajewellamz
authored
chore: use macos-14 for CI (#828)
1 parent 54d3685 commit bf43328

26 files changed

+184
-197
lines changed

‎.github/actions/install_smithy_dafny_codegen_dependencies/action.yml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ runs:
99
using: "composite"
1010
steps:
1111
- name: Setup Java 17 for codegen
12-
uses: actions/setup-java@v3
12+
uses: actions/setup-java@v5
1313
with:
1414
distribution: "corretto"
1515
java-version: "17"
@@ -20,7 +20,7 @@ runs:
2020
make -C mpl/smithy-dafny mvn_local_deploy_polymorph_dependencies
2121
2222
- name: Setup Python, black, and docformatter for code formatting
23-
uses: actions/setup-python@v4
23+
uses: actions/setup-python@v6
2424
with:
2525
python-version: ${{ matrix.python-version }}
2626
architecture: x64
@@ -31,14 +31,14 @@ runs:
3131
python -m pip install --upgrade docformatter
3232
3333
- name: Install Go
34-
uses: actions/setup-go@v5
34+
uses: actions/setup-go@v6
3535
with:
3636
go-version: "1.23"
3737

3838
- name: Install Go imports
3939
shell: bash
4040
run: |
41-
go install golang.org/x/tools/cmd/goimports@latest
41+
go install golang.org/x/tools/cmd/goimports@v0.36.0
4242
4343
# Without this the if-dafny-at-least command includes "Downloading ..." output
4444
- name: Arbitrary makefile target to force downloading Gradle

‎.github/workflows/check_only_keyword.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ jobs:
1313
issues: write
1414
pull-requests: write
1515
steps:
16-
- uses: actions/checkout@v3
16+
- uses: actions/checkout@v5
1717
with:
1818
fetch-depth: 0
1919

‎.github/workflows/ci_static-analysis.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,6 @@ jobs:
77
not-grep:
88
runs-on: ubuntu-latest
99
steps:
10-
- uses: actions/checkout@v2
10+
- uses: actions/checkout@v5
1111
- name: not-grep
1212
uses: mattsb42-meta/[email protected]

‎.github/workflows/dafny_format_version.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ jobs:
1616
outputs:
1717
version: ${{ steps.read_property.outputs.dafnyFormatVersion }}
1818
steps:
19-
- uses: actions/checkout@v4
19+
- uses: actions/checkout@v5
2020
- name: Read version from Properties-file
2121
id: read_property
2222
uses: christian-draeger/[email protected]

‎.github/workflows/dafny_interop_library_go_tests.yml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ jobs:
3030
# windows-latest,
3131
ubuntu-22.04,
3232
# TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
33-
# macos-13,
33+
# macos-15,
3434
]
3535
runs-on: ${{ matrix.os }}
3636
permissions:
@@ -40,15 +40,15 @@ jobs:
4040
- name: Support longpaths on Git checkout
4141
run: |
4242
git config --global core.longpaths true
43-
- uses: actions/checkout@v3
43+
- uses: actions/checkout@v5
4444
- name: Init Submodules
4545
shell: bash
4646
run: |
4747
git submodule update --init libraries
4848
git submodule update --init --recursive mpl
4949
5050
- name: Configure AWS Credentials
51-
uses: aws-actions/configure-aws-credentials@v2
51+
uses: aws-actions/configure-aws-credentials@v5
5252
with:
5353
aws-region: us-west-2
5454
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2
@@ -72,7 +72,7 @@ jobs:
7272
uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
7373

7474
- name: Install Go
75-
uses: actions/setup-go@v5
75+
uses: actions/setup-go@v6
7676
with:
7777
go-version: ${{ matrix.go-version }}
7878

‎.github/workflows/dafny_interop_test_net.yml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ jobs:
3434
strategy:
3535
fail-fast: false
3636
matrix:
37-
os: [windows-latest, ubuntu-22.04, macos-13]
37+
os: [windows-latest, ubuntu-22.04, macos-15]
3838
runs-on: ${{ matrix.os }}
3939
permissions:
4040
id-token: write
@@ -46,13 +46,13 @@ jobs:
4646
- name: Support longpaths on Git checkout
4747
run: |
4848
git config --global core.longpaths true
49-
- uses: actions/checkout@v3
49+
- uses: actions/checkout@v5
5050
with:
5151
submodules: recursive
5252
fetch-depth: 0
5353

5454
- name: Setup .NET Core SDK 6
55-
uses: actions/setup-dotnet@v3
55+
uses: actions/setup-dotnet@v5
5656
with:
5757
dotnet-version: "6.0.x"
5858

@@ -75,7 +75,7 @@ jobs:
7575
run: make setup_net
7676

7777
- name: Configure AWS Credentials
78-
uses: aws-actions/configure-aws-credentials@v4
78+
uses: aws-actions/configure-aws-credentials@v5
7979
with:
8080
aws-region: us-west-2
8181
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2

‎.github/workflows/dafny_interop_test_vector_net.yml‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ jobs:
3333
decrypt_python_vectors:
3434
strategy:
3535
matrix:
36-
os: [windows-latest, ubuntu-22.04, macos-13]
36+
os: [windows-latest, ubuntu-22.04, macos-15]
3737
runs-on: ${{matrix.os}}
3838
permissions:
3939
id-token: write
@@ -45,13 +45,13 @@ jobs:
4545
- name: Support longpaths on Git checkout
4646
run: |
4747
git config --global core.longpaths true
48-
- uses: actions/checkout@v3
48+
- uses: actions/checkout@v5
4949
with:
5050
submodules: recursive
5151
fetch-depth: 0
5252

5353
- name: Setup .NET Core SDK 6
54-
uses: actions/setup-dotnet@v3
54+
uses: actions/setup-dotnet@v5
5555
with:
5656
dotnet-version: "6.0.x"
5757

@@ -74,7 +74,7 @@ jobs:
7474
run: make setup_net
7575

7676
- name: Configure AWS Credentials
77-
uses: aws-actions/configure-aws-credentials@v4
77+
uses: aws-actions/configure-aws-credentials@v5
7878
with:
7979
aws-region: us-west-2
8080
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2
@@ -140,7 +140,7 @@ jobs:
140140
generate_vectors:
141141
strategy:
142142
matrix:
143-
os: [ubuntu-22.04, macos-13]
143+
os: [ubuntu-22.04, macos-15]
144144
runs-on: ${{ matrix.os }}
145145
permissions:
146146
id-token: write
@@ -152,13 +152,13 @@ jobs:
152152
- name: Support longpaths on Git checkout
153153
run: |
154154
git config --global core.longpaths true
155-
- uses: actions/checkout@v3
155+
- uses: actions/checkout@v5
156156
with:
157157
submodules: recursive
158158
fetch-depth: 0
159159

160160
- name: Setup .NET Core SDK 6
161-
uses: actions/setup-dotnet@v3
161+
uses: actions/setup-dotnet@v5
162162
with:
163163
dotnet-version: "6.0.x"
164164

@@ -181,7 +181,7 @@ jobs:
181181
run: make setup_net
182182

183183
- name: Configure AWS Credentials
184-
uses: aws-actions/configure-aws-credentials@v4
184+
uses: aws-actions/configure-aws-credentials@v5
185185
with:
186186
aws-region: us-west-2
187187
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2
@@ -242,7 +242,7 @@ jobs:
242242
needs: generate_vectors
243243
strategy:
244244
matrix:
245-
os: [ubuntu-22.04, macos-13]
245+
os: [ubuntu-22.04, macos-15]
246246
runs-on: ${{ matrix.os }}
247247
permissions:
248248
id-token: write
@@ -251,15 +251,15 @@ jobs:
251251
- name: Support longpaths on Git checkout
252252
run: |
253253
git config --global core.longpaths true
254-
- uses: actions/checkout@v2
254+
- uses: actions/checkout@v5
255255
- name: Init Submodules
256256
shell: bash
257257
run: |
258258
git submodule update --init libraries
259259
git submodule update --init --recursive mpl
260260
261261
- name: Configure AWS Credentials
262-
uses: aws-actions/configure-aws-credentials@v4
262+
uses: aws-actions/configure-aws-credentials@v5
263263
with:
264264
aws-region: us-west-2
265265
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2
@@ -277,7 +277,7 @@ jobs:
277277
name: ${{matrix.os}}_mpl-${{inputs.mpl-dafny}}_esdk-${{inputs.esdk-dafny}}_vectors
278278
path: AwsEncryptionSDK/net41/vectors
279279

280-
- uses: actions/setup-node@v4
280+
- uses: actions/setup-node@v5
281281
with:
282282
node-version: 17
283283

‎.github/workflows/dafny_verify_version.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ jobs:
1616
outputs:
1717
version: ${{ steps.read_property.outputs.dafnyVerifyVersion }}
1818
steps:
19-
- uses: actions/checkout@v4
19+
- uses: actions/checkout@v5
2020
- name: Read version from Properties-file
2121
id: read_property
2222
uses: christian-draeger/[email protected]

‎.github/workflows/dafny_version.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ jobs:
1616
outputs:
1717
version: ${{ steps.read_property.outputs.dafnyVersion }}
1818
steps:
19-
- uses: actions/checkout@v4
19+
- uses: actions/checkout@v5
2020
- name: Read version from Properties-file
2121
id: read_property
2222
uses: christian-draeger/[email protected]

‎.github/workflows/duvet.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ jobs:
2424
run: |
2525
git config --global core.longpaths true
2626
27-
- uses: actions/checkout@v3
27+
- uses: actions/checkout@v5
2828
with:
2929
submodules: true
3030

0 commit comments

Comments
 (0)