CI: add coq 8.16

fblanqui · Sep 16, 2022 · 16f4999 · 16f4999
1 parent 4b645d9
commit 16f4999
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -19,6 +19,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.14'
       fail-fast: false