Allow workflow dispatch from Github UI

cedar-policy · Apr 29, 2024 · 77c610b · 77c610b
1 parent 48a45af
commit 77c610b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/corpus.yml b/.github/workflows/corpus.yml
@@ -1,5 +1,6 @@
 name: Nightly Test Corpus
 on:
+  workflow_dispatch:
   schedule:
     - cron: "0 0 * * *"
   # push: