From 7ef56d12f85aa21f510c08d920dcf7c0e5662d0a Mon Sep 17 00:00:00 2001 From: Ritvik Kapila Date: Fri, 17 Jan 2025 13:12:24 -0800 Subject: [PATCH 1/2] chore(GHA): Add pr-ci-all-required to pull.yaml --- .github/workflows/pull.yml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml index e56c89c70..3f237ee0d 100644 --- a/.github/workflows/pull.yml +++ b/.github/workflows/pull.yml @@ -64,3 +64,25 @@ jobs: uses: ./.github/workflows/ci_examples_net.yml with: dafny: ${{needs.getVersion.outputs.version}} + pr-ci-all-required: + if: always() + needs: + - getVersion + - getVerifyVersion + - pr-ci-format + - pr-ci-codegen + - pr-ci-verification + - pr-ci-test-vector-verification + - pr-ci-java + - pr-ci-java-test-vectors + - pr-ci-java-examples + - pr-ci-net + - pr-ci-rust + - pr-ci-net-test-vectors + - pr-ci-net-examples + runs-on: ubuntu-22.04 + steps: + - name: Verify all required jobs passed + uses: re-actors/alls-green@release/v1 + with: + jobs: ${{ toJSON(needs) }} From 02e84e5e12c91d913c144957516ed6aec11f371e Mon Sep 17 00:00:00 2001 From: Ritvik Kapila Date: Fri, 17 Jan 2025 13:17:02 -0800 Subject: [PATCH 2/2] m --- .github/workflows/ci_test_vector_java.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml index 08cb684b9..5c6fee636 100644 --- a/.github/workflows/ci_test_vector_java.yml +++ b/.github/workflows/ci_test_vector_java.yml @@ -31,7 +31,7 @@ jobs: java-version: [8, 11, 16, 17] os: [ # Run on ubuntu image that comes pre-configured with docker - ubuntu-latest, + ubuntu-22.04, ] runs-on: ${{ matrix.os }} permissions: