diff options
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ef06cd1..6c4b991 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -435,10 +435,10 @@ ci-fcsl-pcm-8.11: variables: COQ_VERSION: "8.11" -ci-fcsl-pcm-8.10: +ci-fcsl-pcm-8.12: extends: .ci-fcsl-pcm variables: - COQ_VERSION: "8.11" + COQ_VERSION: "8.12" ci-fcsl-pcm-dev: extends: .ci-fcsl-pcm |