CI MPL HEAD #130
This file contains 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 invokes other workflows with the latest MPL head at 14:00 UTC (7am PDT) | ||
| name: CI MPL HEAD | ||
| on: | ||
| workflow_dispatch: | ||
| schedule: | ||
| - cron: "00 14 * * 1-5" | ||
| jobs: | ||
| getVersion: | ||
| # Don't run the cron builds on forks | ||
| if: github.event_name != 'schedule' || github.repository_owner == 'aws' | ||
| uses: ./.github/workflows/dafny_version.yml | ||
| getVerifyVersion: | ||
| if: github.event_name != 'schedule' || github.repository_owner == 'aws' | ||
| uses: ./.github/workflows/dafny_verify_version.yml | ||
| getMplHeadVersion: | ||
| if: github.event_name != 'schedule' || github.repository_owner == 'aws' | ||
| uses: ./.github/workflows/mpl_head_version.yml | ||
| with: | ||
| mpl-head: main | ||
| mpl-head-ci-format: | ||
| needs: getVersion | ||
| if: github.event_name != 'schedule' || github.repository_owner == 'aws' | ||
| uses: ./.github/workflows/library_format.yml | ||
| with: | ||
| dafny: ${{needs.getVersion.outputs.version}} | ||
| mpl-head-ci-verification: | ||
| needs: [getVerifyVersion, getMplHeadVersion] | ||
| if: github.event_name != 'schedule' || github.repository_owner == 'aws' | ||
| uses: ./.github/workflows/library_dafny_verification.yml | ||
| with: | ||
| dafny: ${{needs.getVerifyVersion.outputs.version}} | ||
| mpl-version: ${{needs.getMplHeadVersion.outputs.version}} | ||
| mpl-head: true | ||
| mpl-head-ci-test-vector-verification: | ||
| needs: [getVerifyVersion, getMplHeadVersion] | ||
| uses: ./.github/workflows/test_vector_verification.yml | ||
| with: | ||
| dafny: ${{needs.getVerifyVersion.outputs.version}} | ||
| mpl-version: ${{needs.getMplHeadVersion.outputs.version}} | ||
| mpl-head: true | ||
| mpl-head-ci-java: | ||
| needs: [getVersion, getMplHeadVersion] | ||
| uses: ./.github/workflows/ci_test_java.yml | ||
| with: | ||
| dafny: ${{needs.getVersion.outputs.version}} | ||
| mpl-version: ${{needs.getMplHeadVersion.outputs.version}} | ||
| mpl-head: true | ||
| mpl-head-ci-java-test-vectors: | ||
| needs: [getVersion, getMplHeadVersion] | ||
| uses: ./.github/workflows/ci_test_vector_java.yml | ||
| with: | ||
| dafny: ${{needs.getVersion.outputs.version}} | ||
| mpl-version: ${{needs.getMplHeadVersion.outputs.version}} | ||
| mpl-head: true | ||
| mpl-head-ci-java-examples: | ||
| needs: [getVersion, getMplHeadVersion] | ||
| uses: ./.github/workflows/ci_examples_java.yml | ||
| with: | ||
| dafny: ${{needs.getVersion.outputs.version}} | ||
| mpl-version: ${{needs.getMplHeadVersion.outputs.version}} | ||
| mpl-head: true | ||
| mpl-head-ci-net: | ||
| needs: getVersion | ||
| uses: ./.github/workflows/ci_test_net.yml | ||
| with: | ||
| dafny: ${{needs.getVersion.outputs.version}} | ||
| mpl-head: true | ||
| mpl-head-ci-rust: | ||
| needs: getVersion | ||
| uses: ./.github/workflows/library_rust_tests.yml | ||
| with: | ||
| dafny: ${{needs.getVersion.outputs.version}} | ||
| mpl-head: true | ||
| mpl-head-ci-net-test-vectors: | ||
| needs: getVersion | ||
| uses: ./.github/workflows/ci_test_vector_net.yml | ||
| with: | ||
| dafny: ${{needs.getVersion.outputs.version}} | ||
| mpl-head: true | ||
| mpl-head-ci-net-examples: | ||
| needs: getVersion | ||
| uses: ./.github/workflows/ci_examples_net.yml | ||
| with: | ||
| dafny: ${{needs.getVersion.outputs.version}} | ||
| mpl-head: true | ||
