From e6a5304cb9780cbfb3e5d2acd1d101a30f5562a5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 25 Jun 2024 10:32:28 +0200
Subject: [PATCH] docker

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 813e29c26..98c507e44 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -30,7 +30,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq_version: [8.19, 8.20, dev]
+        coq_version: [8.19, 8.20-alpha, dev]
         ocaml_version:
           - '4.14-flambda'
     steps: