From 6aa49d051e9d2eebbe52fdcfaa7b13db95fceeb2 Mon Sep 17 00:00:00 2001
From: Youngchan Cho <86317954+YoungchanCho@users.noreply.github.com>
Date: Fri, 12 Jan 2024 18:32:01 -0600
Subject: [PATCH] Update coq-action.yml

Add Coq version 8.18 in CI testing.

workflow_dispatch allows one to manually trigger the CI test.
---
 .github/workflows/coq-action.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 7a72eee..4118182 100644
--- 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 }}
-