Update coq-action.yml

inQWIRE · Jan 13, 2024 · d01d115 · d01d115
1 parent eaf4434
commit d01d115
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -1,7 +1,7 @@
 name: CI
 
 on:
-  workflow_dispatch
+  workflow_dispatch:
   push:
     branches: ['main']
   pull_request: