diff options
| author | coqbot-app[bot] | 2021-01-01 13:19:04 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-01 13:19:04 +0000 |
| commit | 6e18c48238edea6f69a2f96b58acd368bf8cc258 (patch) | |
| tree | c9ebfdfcc6070b39be9ea3191abf26e949c600b1 /dev/ci | |
| parent | 039f04c2caf7c8da380ca8d582e9edae3e6d5c06 (diff) | |
| parent | f4fb8a133e813c746ce95e46eba83bb70615bee5 (diff) | |
Merge PR #13693: [ci] Switch to testing the maintenance branch for Flocq 3.
Reviewed-by: gares
Diffstat (limited to 'dev/ci')
| -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 |