Add 8.18 to ci

QuickChick · Oct 8, 2023 · 18282ac · 18282ac
1 parent 29abb69
commit 18282ac
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -122,6 +122,9 @@ workflows:
       - dune:
           name: Dune 8.17
           coq: '8.17'
+      - dune:
+          name: Dune 8.18
+          coq: '8.18'
       - opam:
           name: OPAM dev
           coq: dev