From 3ebb5ad5bf0837e0ed7914ec43e803c99130c911 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Mon, 25 May 2020 15:54:38 +0200
Subject: [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
---
 .github/workflows/test.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '.github/workflows')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 6f67a0f4..840017f4 100644
--- 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
-- 
cgit v1.2.3