diff options
| author | Théo Zimmermann | 2020-12-30 11:39:48 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-12-30 11:39:48 +0100 |
| commit | f4fb8a133e813c746ce95e46eba83bb70615bee5 (patch) | |
| tree | 7f1bbcb7d635233b57595bc24b3e41801a972c84 /dev/ci/ci-basic-overlay.sh | |
| parent | 30f648dc29958add42e7509a9c29f271f768e183 (diff) | |
[ci] Switch to testing the maintenance branch for Flocq 3.
This is the version that CompCert will be compatible with for the time being.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
| -rwxr-xr-x | dev/ci/ci-basic-overlay.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |