|
7 | 7 | push: |
8 | 8 | branches: |
9 | 9 | - Golang/reviewed |
10 | | - schedule: |
11 | | - - cron: "00 16 * * 1-5" |
12 | 10 |
|
13 | 11 | jobs: |
14 | 12 | getVersion: |
15 | 13 | uses: ./.github/workflows/dafny_version.yml |
16 | 14 | getVerifyVersion: |
17 | 15 | uses: ./.github/workflows/dafny_verify_version.yml |
18 | | - # pr-ci-format: |
19 | | - # needs: getVersion |
20 | | - # uses: ./.github/workflows/library_format.yml |
21 | | - # with: |
22 | | - # dafny: ${{needs.getVersion.outputs.version}} |
23 | | - # pr-ci-codegen: |
24 | | - # needs: getVersion |
25 | | - # uses: ./.github/workflows/ci_codegen.yml |
26 | | - # with: |
27 | | - # dafny: ${{needs.getVersion.outputs.version}} |
28 | | - # pr-ci-verification: |
29 | | - # needs: getVerifyVersion |
30 | | - # uses: ./.github/workflows/library_dafny_verification.yml |
31 | | - # with: |
32 | | - # dafny: ${{needs.getVerifyVersion.outputs.version}} |
33 | | - # pr-ci-test-vector-verification: |
34 | | - # needs: getVerifyVersion |
35 | | - # uses: ./.github/workflows/test_vector_verification.yml |
36 | | - # with: |
37 | | - # dafny: ${{needs.getVerifyVersion.outputs.version}} |
38 | | - # pr-ci-java: |
39 | | - # needs: getVersion |
40 | | - # uses: ./.github/workflows/ci_test_java.yml |
41 | | - # with: |
42 | | - # dafny: ${{needs.getVersion.outputs.version}} |
43 | | - # pr-ci-java-test-vectors: |
44 | | - # needs: getVersion |
45 | | - # uses: ./.github/workflows/ci_test_vector_java.yml |
46 | | - # with: |
47 | | - # dafny: ${{needs.getVersion.outputs.version}} |
48 | | - # pr-ci-java-examples: |
49 | | - # needs: getVersion |
50 | | - # uses: ./.github/workflows/ci_examples_java.yml |
51 | | - # with: |
52 | | - # dafny: ${{needs.getVersion.outputs.version}} |
53 | | - # pr-ci-net: |
54 | | - # needs: getVersion |
55 | | - # uses: ./.github/workflows/ci_test_net.yml |
56 | | - # with: |
57 | | - # dafny: ${{needs.getVersion.outputs.version}} |
58 | | - # pr-ci-rust: |
59 | | - # needs: getVersion |
60 | | - # uses: ./.github/workflows/library_rust_tests.yml |
61 | | - # with: |
62 | | - # dafny: ${{needs.getVersion.outputs.version}} |
| 16 | + pr-ci-format: |
| 17 | + needs: getVersion |
| 18 | + uses: ./.github/workflows/library_format.yml |
| 19 | + with: |
| 20 | + dafny: ${{needs.getVersion.outputs.version}} |
| 21 | + pr-ci-codegen: |
| 22 | + needs: getVersion |
| 23 | + uses: ./.github/workflows/ci_codegen.yml |
| 24 | + with: |
| 25 | + dafny: ${{needs.getVersion.outputs.version}} |
| 26 | + pr-ci-verification: |
| 27 | + needs: getVerifyVersion |
| 28 | + uses: ./.github/workflows/library_dafny_verification.yml |
| 29 | + with: |
| 30 | + dafny: ${{needs.getVerifyVersion.outputs.version}} |
| 31 | + pr-ci-test-vector-verification: |
| 32 | + needs: getVerifyVersion |
| 33 | + uses: ./.github/workflows/test_vector_verification.yml |
| 34 | + with: |
| 35 | + dafny: ${{needs.getVerifyVersion.outputs.version}} |
| 36 | + pr-ci-java: |
| 37 | + needs: getVersion |
| 38 | + uses: ./.github/workflows/ci_test_java.yml |
| 39 | + with: |
| 40 | + dafny: ${{needs.getVersion.outputs.version}} |
| 41 | + pr-ci-java-test-vectors: |
| 42 | + needs: getVersion |
| 43 | + uses: ./.github/workflows/ci_test_vector_java.yml |
| 44 | + with: |
| 45 | + dafny: ${{needs.getVersion.outputs.version}} |
| 46 | + pr-ci-java-examples: |
| 47 | + needs: getVersion |
| 48 | + uses: ./.github/workflows/ci_examples_java.yml |
| 49 | + with: |
| 50 | + dafny: ${{needs.getVersion.outputs.version}} |
| 51 | + pr-ci-net: |
| 52 | + needs: getVersion |
| 53 | + uses: ./.github/workflows/ci_test_net.yml |
| 54 | + with: |
| 55 | + dafny: ${{needs.getVersion.outputs.version}} |
| 56 | + pr-ci-rust: |
| 57 | + needs: getVersion |
| 58 | + uses: ./.github/workflows/library_rust_tests.yml |
| 59 | + with: |
| 60 | + dafny: ${{needs.getVersion.outputs.version}} |
63 | 61 | pr-ci-go: |
64 | 62 | needs: getVersion |
65 | 63 | uses: ./.github/workflows/ci_test_go.yml |
66 | 64 | with: |
67 | 65 | dafny: ${{needs.getVersion.outputs.version}} |
68 | | - # pr-ci-net-test-vectors: |
69 | | - # needs: getVersion |
70 | | - # uses: ./.github/workflows/ci_test_vector_net.yml |
71 | | - # with: |
72 | | - # dafny: ${{needs.getVersion.outputs.version}} |
73 | | - # pr-ci-net-examples: |
74 | | - # needs: getVersion |
75 | | - # uses: ./.github/workflows/ci_examples_net.yml |
76 | | - # with: |
77 | | - # dafny: ${{needs.getVersion.outputs.version}} |
78 | | - # pr-ci-all-required: |
79 | | - # if: always() |
80 | | - # needs: |
81 | | - # - getVersion |
82 | | - # - getVerifyVersion |
83 | | - # - pr-ci-format |
84 | | - # - pr-ci-codegen |
85 | | - # - pr-ci-verification |
86 | | - # - pr-ci-test-vector-verification |
87 | | - # - pr-ci-java |
88 | | - # - pr-ci-java-test-vectors |
89 | | - # - pr-ci-java-examples |
90 | | - # - pr-ci-net |
91 | | - # - pr-ci-rust |
92 | | - # - pr-ci-net-test-vectors |
93 | | - # - pr-ci-net-examples |
94 | | - # runs-on: ubuntu-22.04 |
95 | | - # steps: |
96 | | - # - name: Verify all required jobs passed |
97 | | - # uses: re-actors/alls-green@release/v1 |
98 | | - # with: |
99 | | - # jobs: ${{ toJSON(needs) }} |
| 66 | + pr-ci-net-test-vectors: |
| 67 | + needs: getVersion |
| 68 | + uses: ./.github/workflows/ci_test_vector_net.yml |
| 69 | + with: |
| 70 | + dafny: ${{needs.getVersion.outputs.version}} |
| 71 | + pr-ci-net-examples: |
| 72 | + needs: getVersion |
| 73 | + uses: ./.github/workflows/ci_examples_net.yml |
| 74 | + with: |
| 75 | + dafny: ${{needs.getVersion.outputs.version}} |
| 76 | + pr-ci-all-required: |
| 77 | + if: always() |
| 78 | + needs: |
| 79 | + - getVersion |
| 80 | + - getVerifyVersion |
| 81 | + - pr-ci-format |
| 82 | + - pr-ci-codegen |
| 83 | + - pr-ci-verification |
| 84 | + - pr-ci-test-vector-verification |
| 85 | + - pr-ci-java |
| 86 | + - pr-ci-java-test-vectors |
| 87 | + - pr-ci-java-examples |
| 88 | + - pr-ci-net |
| 89 | + - pr-ci-rust |
| 90 | + - pr-ci-net-test-vectors |
| 91 | + - pr-ci-net-examples |
| 92 | + runs-on: ubuntu-22.04 |
| 93 | + steps: |
| 94 | + - name: Verify all required jobs passed |
| 95 | + uses: re-actors/alls-green@release/v1 |
| 96 | + with: |
| 97 | + jobs: ${{ toJSON(needs) }} |
0 commit comments