From 3d4b0726ed8e872f2c91a0938419e2bb710e75a7 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Fri, 10 Apr 2026 15:15:21 -0700 Subject: [PATCH 1/2] refactor: daily ci --- .github/workflows/ci_codegen.yml | 6 +++ .github/workflows/ci_examples_java.yml | 6 +++ .github/workflows/ci_examples_net.yml | 6 +++ .github/workflows/ci_test_java.yml | 6 +++ .github/workflows/ci_test_net.yml | 6 +++ .github/workflows/ci_test_vector_java.yml | 6 +++ .github/workflows/ci_test_vector_net.yml | 6 +++ .github/workflows/dafny_verify_version.yml | 8 +++ .github/workflows/dafny_version.yml | 8 +++ .github/workflows/daily_ci.yml | 54 +++++++++++++++++++ .../workflows/library_dafny_verification.yml | 6 +++ .github/workflows/library_format.yml | 6 +++ 12 files changed, 124 insertions(+) diff --git a/.github/workflows/ci_codegen.yml b/.github/workflows/ci_codegen.yml index 1f657b4cad..d45b6bc75b 100644 --- a/.github/workflows/ci_codegen.yml +++ b/.github/workflows/ci_codegen.yml @@ -7,6 +7,11 @@ on: description: "The dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string jobs: code-generation: @@ -37,6 +42,7 @@ jobs: - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - run: git submodule update --init --recursive submodules/smithy-dafny diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml index 17d128de27..0f54b5e48f 100644 --- a/.github/workflows/ci_examples_java.yml +++ b/.github/workflows/ci_examples_java.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -48,6 +53,7 @@ jobs: - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - name: Setup Java 8 diff --git a/.github/workflows/ci_examples_net.yml b/.github/workflows/ci_examples_net.yml index c96c49a3e7..09a69512cb 100644 --- a/.github/workflows/ci_examples_net.yml +++ b/.github/workflows/ci_examples_net.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -38,6 +43,7 @@ jobs: steps: - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - name: Setup .NET Core SDK ${{ matrix.dotnet-version }} diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml index 81a50ad186..1380c19d3a 100644 --- a/.github/workflows/ci_test_java.yml +++ b/.github/workflows/ci_test_java.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -49,6 +54,7 @@ jobs: - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - name: Setup Dafny diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml index a5c76dde5c..de0b3ea89b 100644 --- a/.github/workflows/ci_test_net.yml +++ b/.github/workflows/ci_test_net.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -39,6 +44,7 @@ jobs: git config --global core.longpaths true - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - name: Setup .NET Core SDK ${{ matrix.dotnet-version }} diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml index 5fcf6e15b1..a615bf04c2 100644 --- a/.github/workflows/ci_test_vector_java.yml +++ b/.github/workflows/ci_test_vector_java.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -60,6 +65,7 @@ jobs: - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - name: Setup Dafny diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml index da84e2281d..7bb4ee0dbb 100644 --- a/.github/workflows/ci_test_vector_net.yml +++ b/.github/workflows/ci_test_vector_net.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -55,6 +60,7 @@ jobs: - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - name: Setup Dafny diff --git a/.github/workflows/dafny_verify_version.yml b/.github/workflows/dafny_verify_version.yml index a35989ca5c..2269e29d3b 100644 --- a/.github/workflows/dafny_verify_version.yml +++ b/.github/workflows/dafny_verify_version.yml @@ -5,6 +5,12 @@ name: Dafny Verify Version on: workflow_call: + inputs: + branch: + description: "Branch to checkout" + required: false + default: main + type: string outputs: version: description: "The dafny version for verify" @@ -21,6 +27,8 @@ jobs: version: ${{ steps.read_property.outputs.dafnyVerifyVersion }} steps: - uses: actions/checkout@v6 + with: + ref: ${{ inputs.branch }} - name: Read version from Properties-file id: read_property uses: christian-draeger/read-properties@1.1.1 diff --git a/.github/workflows/dafny_version.yml b/.github/workflows/dafny_version.yml index a6e328ab8a..55247c377e 100644 --- a/.github/workflows/dafny_version.yml +++ b/.github/workflows/dafny_version.yml @@ -5,6 +5,12 @@ name: Dafny Version on: workflow_call: + inputs: + branch: + description: "Branch to checkout" + required: false + default: main + type: string outputs: version: description: "The dafny version" @@ -21,6 +27,8 @@ jobs: version: ${{ steps.read_property.outputs.dafnyVersion }} steps: - uses: actions/checkout@v6 + with: + ref: ${{ inputs.branch }} - name: Read version from Properties-file id: read_property uses: christian-draeger/read-properties@1.1.1 diff --git a/.github/workflows/daily_ci.yml b/.github/workflows/daily_ci.yml index 0f4489f2d0..bb9857a922 100644 --- a/.github/workflows/daily_ci.yml +++ b/.github/workflows/daily_ci.yml @@ -19,14 +19,24 @@ jobs: id-token: write # Don't run the cron builds on forks if: github.event_name != 'schedule' || github.repository_owner == 'aws' + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/dafny_version.yml + with: + branch: ${{ matrix.branch }} getVerifyVersion: permissions: contents: read pull-requests: write id-token: write if: github.event_name != 'schedule' || github.repository_owner == 'aws' + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/dafny_verify_version.yml + with: + branch: ${{ matrix.branch }} daily-ci-format: permissions: contents: read @@ -34,9 +44,13 @@ jobs: id-token: write needs: getVersion if: github.event_name != 'schedule' || github.repository_owner == 'aws' + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/library_format.yml with: dafny: ${{needs.getVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-codegen: permissions: contents: read @@ -44,9 +58,13 @@ jobs: id-token: write needs: getVersion if: github.event_name != 'schedule' || github.repository_owner == 'aws' + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/ci_codegen.yml with: dafny: ${{needs.getVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-verification: permissions: contents: read @@ -54,81 +72,117 @@ jobs: id-token: write needs: getVerifyVersion if: github.event_name != 'schedule' || github.repository_owner == 'aws' + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/library_dafny_verification.yml with: dafny: ${{needs.getVerifyVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-test-vector-verification: permissions: contents: read pull-requests: write id-token: write needs: getVerifyVersion + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/test_vector_verification.yml with: dafny: ${{needs.getVerifyVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-java: permissions: contents: read pull-requests: write id-token: write needs: getVersion + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/ci_test_java.yml with: dafny: ${{needs.getVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-java-test-vectors: permissions: contents: read pull-requests: write id-token: write needs: getVersion + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/ci_test_vector_java.yml with: dafny: ${{needs.getVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-java-examples: permissions: contents: read pull-requests: write id-token: write needs: getVersion + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/ci_examples_java.yml with: dafny: ${{needs.getVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-net: permissions: contents: read pull-requests: write id-token: write needs: getVersion + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/ci_test_net.yml with: dafny: ${{needs.getVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-rust: permissions: contents: read pull-requests: write id-token: write needs: getVersion + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/library_rust_tests.yml with: dafny: ${{needs.getVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-net-test-vectors: permissions: contents: read pull-requests: write id-token: write needs: getVersion + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/ci_test_vector_net.yml with: dafny: ${{needs.getVersion.outputs.version}} + branch: ${{ matrix.branch }} daily-ci-net-examples: permissions: contents: read pull-requests: write id-token: write needs: getVersion + strategy: + matrix: + branch: [main, v3.x-Java] uses: ./.github/workflows/ci_examples_net.yml with: dafny: ${{needs.getVersion.outputs.version}} + branch: ${{ matrix.branch }} notify: permissions: contents: read diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml index 42dd90006d..490fb9b552 100644 --- a/.github/workflows/library_dafny_verification.yml +++ b/.github/workflows/library_dafny_verification.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -54,6 +59,7 @@ jobs: steps: - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - name: Setup Dafny diff --git a/.github/workflows/library_format.yml b/.github/workflows/library_format.yml index dad0a191f6..6e241d6dbe 100644 --- a/.github/workflows/library_format.yml +++ b/.github/workflows/library_format.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -38,6 +43,7 @@ jobs: - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - name: Setup Dafny From 314a66adebf64d2f846a2ca4eac893f54d6c19ce Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Fri, 10 Apr 2026 16:20:41 -0700 Subject: [PATCH 2/2] m --- .github/workflows/library_rust_tests.yml | 7 +++++++ .github/workflows/test_vector_verification.yml | 6 ++++++ 2 files changed, 13 insertions(+) diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml index 68c7c85750..02e73264ec 100644 --- a/.github/workflows/library_rust_tests.yml +++ b/.github/workflows/library_rust_tests.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -56,6 +61,8 @@ jobs: run: | git config --global core.longpaths true - uses: actions/checkout@v6 + with: + ref: ${{ inputs.branch }} - name: Init Submodules shell: bash run: | diff --git a/.github/workflows/test_vector_verification.yml b/.github/workflows/test_vector_verification.yml index 006b107cf1..2320430297 100644 --- a/.github/workflows/test_vector_verification.yml +++ b/.github/workflows/test_vector_verification.yml @@ -8,6 +8,11 @@ on: description: "The Dafny version to run" required: true type: string + branch: + description: "Branch to checkout" + required: false + default: main + type: string regenerate-code: description: "Regenerate code using smithy-dafny" required: false @@ -44,6 +49,7 @@ jobs: steps: - uses: actions/checkout@v6 with: + ref: ${{ inputs.branch }} submodules: recursive - name: Setup Dafny