m

Author: RitvikKapila

.github/workflows/ci_test_latest_released_mpl_java.yml

@@ -9,7 +9,15 @@ on:
   pull_request:
 
 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.ym
   testJava:
+    needs: getVersion
     strategy:
       max-parallel: 1
       matrix:
@@ -40,7 +48,7 @@ jobs:
       - name: Setup Dafny
         uses: dafny-lang/[email protected]
         with:
-          dafny-version: ${{ inputs.dafny }}
+          dafny-version: ${{ needs.getVersion.outputs.version }}
 
       - name: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.regenerate-code }}