From b46c6d8138d6361e4311ce3a41cea94c493e8f76 Mon Sep 17 00:00:00 2001
From: Jose Corella <joseeduardocorella@gmail.com>
Date: Wed, 21 Aug 2024 14:08:44 -0700
Subject: [PATCH] chore: fix nightly

---
 .github/workflows/nightly.yml | 34 ----------------------------------
 1 file changed, 34 deletions(-)

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: