diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 74c95075c..408eefe62 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -59,40 +59,6 @@ jobs: dafny: "nightly-latest" regenerate-code: true - # Interop nightly tests use nighly tests and the current dafnyversion for the DBESDK. - dafny-nightly-java-interop: - if: github.event_name != 'schedule' || github.repository_owner == 'aws' - needs: getVersion - uses: ./.github/workflows/dafny_interop_java.yml - with: - mpl-dafny: "nightly-latest" - mpl-commit: main - dbesdk-dafny: ${{needs.getVersion.outputs.version}} - dafny-nightly-test-vectors-java-interop: - if: github.event_name != 'schedule' || github.repository_owner == 'aws' - needs: getVersion - uses: ./.github/workflows/dafny_interop_test_vector_java.yml - with: - mpl-dafny: "nightly-latest" - mpl-commit: main - dbesdk-dafny: ${{needs.getVersion.outputs.version}} - dafny-nightly-net-interop: - if: github.event_name != 'schedule' || github.repository_owner == 'aws' - needs: getVersion - uses: ./.github/workflows/dafny_interop_test_net.yml - with: - mpl-dafny: "nightly-latest" - mpl-commit: main - dbesdk-dafny: ${{needs.getVersion.outputs.version}} - dafny-nightly-test-vectors-net-interop: - if: github.event_name != 'schedule' || github.repository_owner == 'aws' - needs: getVersion - uses: ./.github/workflows/dafny_interop_test_vector_net.yml - with: - mpl-dafny: "nightly-latest" - mpl-commit: main - dbesdk-dafny: ${{needs.getVersion.outputs.version}} - cut-issue-on-failure: runs-on: ubuntu-latest permissions: