From 7a5bda390427919a412024278d05aee91e66dbad Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Thu, 18 Jan 2024 16:25:58 +0100
Subject: [PATCH] ci: add more Coq versions to check

---
 .github/workflows/ci.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b7f748f7..25e9daaf 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -18,7 +18,10 @@ jobs:
         ocaml-version:
           - 4.12.0
         coq-version:
-          - 8.13.1
+          - 8.13.2
+          - 8.14.1
+          - 8.15.2
+          - 8.16.1
           - 8.17.1
           - 8.18.0