don’t regenerate code in nightly any more

Author: robin-aws

.github/workflows/nightly.yml

@@ -19,45 +19,45 @@ jobs:
     uses: ./.github/workflows/library_format.yml
     with:
       dafny: "nightly-latest"
-      regenerate-code: true
+      regenerate-code: false
   dafny-nightly-verification:
     # Don't run the cron builds on forks
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
       dafny: "nightly-latest"
-      regenerate-code: true
+      regenerate-code: false
   dafny-nightly-test-vector-verification:
     # Don't run the cron builds on forks
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/test_vector_verification.yml
     with:
       dafny: "nightly-latest"
-      regenerate-code: true
+      regenerate-code: false
   dafny-nightly-java:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/ci_test_java.yml
     with:
       dafny: "nightly-latest"
-      regenerate-code: true
+      regenerate-code: false
   dafny-nightly-test-vectors-java:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/ci_test_vector_java.yml
     with:
       dafny: "nightly-latest"
-      regenerate-code: true
+      regenerate-code: false
   dafny-nightly-net:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/ci_test_net.yml
     with:
       dafny: "nightly-latest"
-      regenerate-code: true
+      regenerate-code: false
   dafny-nightly-test-vectors-net:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/ci_test_vector_net.yml
     with:
       dafny: "nightly-latest"
-      regenerate-code: true
+      regenerate-code: false
 
   cut-issue-on-failure:
     runs-on: ubuntu-latest