Make it possible to manually trigger a nightly build.

[Build]
tlaplus · Oct 14, 2022 · 27eace5 · 27eace5
1 parent ddde2e9
commit 27eace5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,6 +1,7 @@
 name: CI
 
 on:
+  workflow_dispatch:
   push:
     # Sequence of patterns matched against refs/heads
     branches: