From e74d9eeec5cac3cf2af843dcd03e0bc74c58d305 Mon Sep 17 00:00:00 2001 From: texastony <5892063+texastony@users.noreply.github.com> Date: Thu, 19 Mar 2026 13:14:51 -0700 Subject: [PATCH] chore: bump GitHub Actions to latest versions MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - actions/upload-artifact: v4 → v7 - actions/setup-node: v5 → v6 - aws-actions/configure-aws-credentials: v5 → v6 - dafny-lang/setup-dafny-action: v1.8.0 → v1.9.1 --- .github/workflows/ci_duvet.yml | 2 +- .github/workflows/ci_examples_java.yml | 2 +- .github/workflows/ci_examples_net.yml | 2 +- .github/workflows/ci_test_go.yml | 4 ++-- .github/workflows/ci_test_java.yml | 2 +- .github/workflows/ci_test_net.yml | 2 +- .github/workflows/ci_test_vector_java.yml | 2 +- .github/workflows/ci_test_vector_net.yml | 2 +- .github/workflows/dafny_interop_examples_java.yml | 2 +- .github/workflows/dafny_interop_examples_net.yml | 2 +- .github/workflows/dafny_interop_java.yml | 2 +- .github/workflows/dafny_interop_test_net.yml | 2 +- .github/workflows/dafny_interop_test_vector_java.yml | 2 +- .github/workflows/dafny_interop_test_vector_net.yml | 2 +- .github/workflows/go-release.yml | 4 ++-- .github/workflows/library_rust_tests.yml | 4 ++-- .github/workflows/nightly.yml | 2 +- .github/workflows/performance-benchmarks-go.yml | 4 ++-- .github/workflows/performance-benchmarks-rust.yml | 2 +- .github/workflows/sem_ver.yml | 4 ++-- .github/workflows/semantic_release.yml | 4 ++-- 21 files changed, 27 insertions(+), 27 deletions(-) diff --git a/.github/workflows/ci_duvet.yml b/.github/workflows/ci_duvet.yml index 286209426f..3a70be6558 100644 --- a/.github/workflows/ci_duvet.yml +++ b/.github/workflows/ci_duvet.yml @@ -27,7 +27,7 @@ jobs: shell: bash run: | make duvet - - uses: actions/upload-artifact@v4 + - uses: actions/upload-artifact@v7 if: always() with: name: specification_compliance_report diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml index ad40a0e075..2938dac184 100644 --- a/.github/workflows/ci_examples_java.yml +++ b/.github/workflows/ci_examples_java.yml @@ -35,7 +35,7 @@ jobs: contents: read steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/ci_examples_net.yml b/.github/workflows/ci_examples_net.yml index f1bd7cb539..c96c49a3e7 100644 --- a/.github/workflows/ci_examples_net.yml +++ b/.github/workflows/ci_examples_net.yml @@ -83,7 +83,7 @@ jobs: run: make setup_net - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/ci_test_go.yml b/.github/workflows/ci_test_go.yml index 365ab6a3fd..30a989f97b 100644 --- a/.github/workflows/ci_test_go.yml +++ b/.github/workflows/ci_test_go.yml @@ -37,7 +37,7 @@ jobs: contents: read steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 @@ -63,7 +63,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.8.0 + uses: dafny-lang/setup-dafny-action@v1.9.1 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml index a69a923dec..b407500bcc 100644 --- a/.github/workflows/ci_test_java.yml +++ b/.github/workflows/ci_test_java.yml @@ -37,7 +37,7 @@ jobs: contents: read steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml index 41c1139142..a5c76dde5c 100644 --- a/.github/workflows/ci_test_net.yml +++ b/.github/workflows/ci_test_net.yml @@ -84,7 +84,7 @@ jobs: run: make setup_net - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml index 230bed44b2..ff839527e4 100644 --- a/.github/workflows/ci_test_vector_java.yml +++ b/.github/workflows/ci_test_vector_java.yml @@ -40,7 +40,7 @@ jobs: contents: read steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml index 694030f218..da84e2281d 100644 --- a/.github/workflows/ci_test_vector_net.yml +++ b/.github/workflows/ci_test_vector_net.yml @@ -36,7 +36,7 @@ jobs: contents: read steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/dafny_interop_examples_java.yml b/.github/workflows/dafny_interop_examples_java.yml index e042f1f239..98e8a6e4e4 100644 --- a/.github/workflows/dafny_interop_examples_java.yml +++ b/.github/workflows/dafny_interop_examples_java.yml @@ -35,7 +35,7 @@ jobs: contents: read steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/dafny_interop_examples_net.yml b/.github/workflows/dafny_interop_examples_net.yml index de83665814..55c0dccb42 100644 --- a/.github/workflows/dafny_interop_examples_net.yml +++ b/.github/workflows/dafny_interop_examples_net.yml @@ -71,7 +71,7 @@ jobs: run: make setup_net - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/dafny_interop_java.yml b/.github/workflows/dafny_interop_java.yml index ca1e2a778b..6563a9dc02 100644 --- a/.github/workflows/dafny_interop_java.yml +++ b/.github/workflows/dafny_interop_java.yml @@ -35,7 +35,7 @@ jobs: contents: read steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/dafny_interop_test_net.yml b/.github/workflows/dafny_interop_test_net.yml index fe38fe413b..af454fc27f 100644 --- a/.github/workflows/dafny_interop_test_net.yml +++ b/.github/workflows/dafny_interop_test_net.yml @@ -71,7 +71,7 @@ jobs: run: make setup_net - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/dafny_interop_test_vector_java.yml b/.github/workflows/dafny_interop_test_vector_java.yml index b7a0032d48..39911c1652 100644 --- a/.github/workflows/dafny_interop_test_vector_java.yml +++ b/.github/workflows/dafny_interop_test_vector_java.yml @@ -44,7 +44,7 @@ jobs: cors: "*" - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml index 673d08c48b..f4d26104c1 100644 --- a/.github/workflows/dafny_interop_test_vector_net.yml +++ b/.github/workflows/dafny_interop_test_vector_net.yml @@ -69,7 +69,7 @@ jobs: run: make setup_net - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/go-release.yml b/.github/workflows/go-release.yml index 5dc08e5b5b..dec6df60b3 100644 --- a/.github/workflows/go-release.yml +++ b/.github/workflows/go-release.yml @@ -35,7 +35,7 @@ jobs: # KMS and MPL tests need to use credentials which can call KMS - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 @@ -52,7 +52,7 @@ jobs: git submodule update --init --recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.8.0 + uses: dafny-lang/setup-dafny-action@v1.9.1 with: dafny-version: ${{ needs.get-dafny-version.outputs.version }} diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml index cc49e3b1a9..afcb3ae4d7 100644 --- a/.github/workflows/library_rust_tests.yml +++ b/.github/workflows/library_rust_tests.yml @@ -35,7 +35,7 @@ jobs: RUST_MIN_STACK: 838860800 steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 @@ -122,7 +122,7 @@ jobs: make test_rust - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 8276f9b3d4..d0f14954bc 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -117,7 +117,7 @@ jobs: steps: # We need access to the role that is able to get CI Bot Creds - name: Configure AWS Credentials for Release - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2 diff --git a/.github/workflows/performance-benchmarks-go.yml b/.github/workflows/performance-benchmarks-go.yml index 95fdd6f56c..cdb4a303f4 100644 --- a/.github/workflows/performance-benchmarks-go.yml +++ b/.github/workflows/performance-benchmarks-go.yml @@ -38,7 +38,7 @@ jobs: contents: read steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 @@ -86,7 +86,7 @@ jobs: go-version: ${{ matrix.go-version }} - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.8.0 + uses: dafny-lang/setup-dafny-action@v1.9.1 with: dafny-version: "4.9.0" diff --git a/.github/workflows/performance-benchmarks-rust.yml b/.github/workflows/performance-benchmarks-rust.yml index d6ce793e98..88b79f9d76 100644 --- a/.github/workflows/performance-benchmarks-rust.yml +++ b/.github/workflows/performance-benchmarks-rust.yml @@ -41,7 +41,7 @@ jobs: RUST_MIN_STACK: 838860800 steps: - name: Configure AWS Credentials - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 diff --git a/.github/workflows/sem_ver.yml b/.github/workflows/sem_ver.yml index 9a6e33698b..f8ef612c65 100644 --- a/.github/workflows/sem_ver.yml +++ b/.github/workflows/sem_ver.yml @@ -20,14 +20,14 @@ jobs: # We need access to the role that is able to get CI Bot Creds - name: Configure AWS Credentials for Release - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2 role-session-name: CI_Bot_Release - name: Upgrade Node - uses: actions/setup-node@v5 + uses: actions/setup-node@v6 with: node-version: 21 diff --git a/.github/workflows/semantic_release.yml b/.github/workflows/semantic_release.yml index c8c305f63a..dcdeaecaaa 100644 --- a/.github/workflows/semantic_release.yml +++ b/.github/workflows/semantic_release.yml @@ -29,14 +29,14 @@ jobs: # We need access to the role that is able to get CI Bot Creds - name: Configure AWS Credentials for Release - uses: aws-actions/configure-aws-credentials@v5 + uses: aws-actions/configure-aws-credentials@v6 with: aws-region: us-west-2 role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2 role-session-name: CI_Bot_Release - name: Upgrade Node - uses: actions/setup-node@v5 + uses: actions/setup-node@v6 with: node-version: 21