CI for Coq 8.19

coq-community · Feb 26, 2024 · 7f2663d · 7f2663d
1 parent 2b9b50d
commit 7f2663d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -26,6 +26,7 @@ jobs:
           - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.18'
+          - 'coqorg/coq:8.19'
           - 'coqorg/coq:dev'
       fail-fast: false
     steps:
@@ -52,9 +53,6 @@ jobs:
               make -j`nproc` coqdoc
             endGroup
           before_script: |
-            startGroup "Install and configure Clang"
-              opam install conf-clang
-            endGroup
             startGroup "Workaround permission issue"
               sudo chown -R coq:coq .
             endGroup

diff --git a/meta.yml b/meta.yml
@@ -41,6 +41,7 @@ tested_coq_opam_versions:
   - version: '8.16'
   - version: '8.17'
   - version: '8.18'
+  - version: '8.19'
   - version: 'dev'
 
 make_target: theories
@@ -54,9 +55,6 @@ action_appendix: |2-
                 make -j`nproc` coqdoc
               endGroup
             before_script: |
-              startGroup "Install and configure Clang"
-                opam install conf-clang
-              endGroup
               startGroup "Workaround permission issue"
                 sudo chown -R coq:coq .
               endGroup