Merge branch 'main' into update/v8.16-v8.19

inQWIRE · Jan 29, 2024 · 96a18ae · 96a18ae
2 parents fe4b0d3 + 95bbfdd
commit 96a18ae
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,6 +1,7 @@
 name: CI
 
 on:
+  workflow_dispatch:
   push:
     branches: ['main']
   pull_request:
@@ -26,4 +27,3 @@ jobs:
           opam_file: 'coq-quantumlib.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
-