Test 8.18 on CI

coq-community · Sep 27, 2023 · bf46dda · bf46dda
1 parent d710abc
commit bf46dda
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -26,6 +26,7 @@ jobs:
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.17'
+          - 'coqorg/coq:8.18'
           - 'coqorg/coq:dev'
       fail-fast: false
     steps: