chore(CI): add interop tests to daily ci (#640)

aws · Mar 11, 2024 · c9ad018 · c9ad018
1 parent d6c62fb
commit c9ad018
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/daily_ci.yml b/.github/workflows/daily_ci.yml
@@ -22,3 +22,9 @@ jobs:
     uses: ./.github/workflows/library_net_tests.yml
     with:
       dafny: '4.2.0'
+
+  daily-ci-interop-tests:
+    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
+    uses: ./.github/workflows/library_interop_tests.yml
+    with:
+      dafny: '4.2.0'