Merge pull request #38 from inQWIRE/YoungchanCho_coq-action_8.18

Update CI to check 8.18 build
inQWIRE · Jan 24, 2024 · 95bbfdd · 95bbfdd
2 parents 71b5b22 + 6aa49d0
commit 95bbfdd
Showing 1 changed file with 2 additions 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:
@@ -18,6 +19,7 @@ jobs:
           - '8.15'
           - '8.16'
           - '8.17'
+          - '8.18'
           - 'dev'
         ocaml_version:
           - 'default'
@@ -29,4 +31,3 @@ jobs:
           opam_file: 'coq-quantumlib.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
-