From e92d151dcbe12e5294d710755a2c9e1b38794be7 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Tue, 21 Apr 2020 15:25:40 +0200
Subject: s/4.07-flambda/minimal/

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

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 45274d89..5821b748 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -54,7 +54,7 @@ jobs:
         coq_version:
           - 8.11
         ocaml_version:
-          - 4.07-flambda
+          - minimal
       # at most 20 concurrent jobs per free account
       # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
       max-parallel: 5
-- 
cgit v1.2.3