[CI] Also run integration tests with Coq 8.9.1 and 8.10.2

href: https://github.com/coq-community/docker-coq/wiki#supported-tags
ProofGeneral · May 26, 2020 · 3ebb5ad · 3ebb5ad
1 parent d20ad3d
commit 3ebb5ad
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -58,7 +58,9 @@ jobs:
           # the emacs version in Debian Sid
           # - 26.3
         coq_version:
-          - 8.11
+          - '8.9'
+          - '8.10'
+          - '8.11'
         ocaml_version:
           - minimal
       # at most 20 concurrent jobs per free account