m

josecorella · josecorella · commit ffcd7540f503 · 2025-07-21T11:55:59.000-07:00
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
@@ -9,6 +9,7 @@ on:
     # but this might need to be tweaked:
     # https://github.com/dafny-lang/dafny/blob/master/.github/workflows/deep-tests.yml#L16
     - cron: "30 16 * * *"
+  workflow_dispatch:
 
 jobs:
   getVersion:
