Always regenerate code in the nightly build (#229)

aws · Mar 5, 2024 · 60b4bad · 60b4bad
1 parent df8c7e5
commit 60b4bad
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/nightly_dafny.yml b/.github/workflows/nightly_dafny.yml
@@ -23,13 +23,16 @@ jobs:
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
       dafny: "nightly-latest"
+      regenerate-code: true
   dafny-nightly-java:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/library_java_tests.yml
     with:
       dafny: "nightly-latest"
+      regenerate-code: true
   dafny-nightly-net:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/library_net_tests.yml
     with:
       dafny: "nightly-latest"
+      regenerate-code: true