From f4fb8a133e813c746ce95e46eba83bb70615bee5 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 30 Dec 2020 11:39:48 +0100
Subject: [ci] Switch to testing the maintenance branch for Flocq 3.

This is the version that CompCert will be compatible with for the time being.
---
 dev/ci/ci-basic-overlay.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 97d9537508..8bcbd90f0b 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -101,7 +101,7 @@ project geocoq "https://github.com/GeoCoq/GeoCoq" "master"
 ########################################################################
 # Flocq
 ########################################################################
-project flocq "https://gitlab.inria.fr/flocq/flocq" "master"
+project flocq "https://gitlab.inria.fr/flocq/flocq" "flocq-3"
 
 ########################################################################
 # coq-performance-tests
-- 
cgit v1.2.3