[WIP] Python DBESDK #1749
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow runs for every pull request | |
| name: PR CI | |
| on: | |
| pull_request: | |
| jobs: | |
| getVersion: | |
| uses: ./.github/workflows/dafny_version.yml | |
| getVerifyVersion: | |
| uses: ./.github/workflows/dafny_verify_version.yml | |
| pr-ci-format: | |
| needs: getVersion | |
| uses: ./.github/workflows/library_format.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-codegen: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_codegen.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-verification: | |
| needs: getVerifyVersion | |
| uses: ./.github/workflows/library_dafny_verification.yml | |
| with: | |
| dafny: ${{needs.getVerifyVersion.outputs.version}} | |
| pr-ci-test-vector-verification: | |
| needs: getVerifyVersion | |
| uses: ./.github/workflows/test_vector_verification.yml | |
| with: | |
| dafny: ${{needs.getVerifyVersion.outputs.version}} | |
| pr-ci-java: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_test_java.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-java-test-vectors: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_test_vector_java.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-java-examples: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_examples_java.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-net: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_test_net.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-rust: | |
| needs: getVersion | |
| uses: ./.github/workflows/library_rust_tests.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-python: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_test_python.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-python-testvectors: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_test_vector_python.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-python-examples: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_examples_python.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-python-static-analysis: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_static_analysis_python.yml | |
| pr-ci-net-test-vectors: | |
| needs: getVersion | |
| uses: ./.github/workflows/ci_test_vector_net.yml | |
| with: | |
| dafny: ${{needs.getVersion.outputs.version}} | |
| pr-ci-net-examples: | |
| needs: getVersion | |
| 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 | |
| - pr-ci-python | |
| - pr-ci-python-testvectors | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - name: Verify all required jobs passed | |
| uses: re-actors/alls-green@release/v1 | |
| with: | |
| jobs: ${{ toJSON(needs) }} |