Add manual trigger for nightly_dafny.yml

aws · Nov 30, 2023 · 7cc8092 · 7cc8092
1 parent fdc65ca
commit 7cc8092
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/nighly_dafny.yml b/.github/workflows/nighly_dafny.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:
   dafny-nightly-verification: