diff options
| author | Cyril Cohen | 2020-12-16 11:30:09 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-16 11:30:09 +0100 |
| commit | b0d6592584ae3bffbb7a73a67ea06375b286c2fc (patch) | |
| tree | cea4a073f0444cd4f6a2ef4c3c1fef379fa412a5 | |
| parent | 7da602fb704b0f2286876f267b84a120d18dbed9 (diff) | |
| parent | 77d5f269ccdad6c9b625d3ef18a9ab2ed41a6f10 (diff) | |
Merge pull request #683 from pi8027/remove-ci-fcsl-pcm-8.10
Remove ci-fcsl-pcm-8.10
| -rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 607ff61..52ff725 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -397,11 +397,6 @@ ci-finmap-dev: - opam pin add -n -k path coq-fcsl-pcm . - opam install -y -v -j "${NJOBS}" coq-fcsl-pcm -ci-fcsl-pcm-8.10: - extends: .ci-fcsl-pcm - variables: - COQ_VERSION: "8.10" - ci-fcsl-pcm-8.11: extends: .ci-fcsl-pcm variables: |