diff options
| author | Kazuhiko Sakaguchi | 2020-09-27 11:28:32 +0900 |
|---|---|---|
| committer | GitHub | 2020-09-27 11:28:32 +0900 |
| commit | 9c4bb59c2abe19b65f08678fcb35d43d7476fdd9 (patch) | |
| tree | cb09bfa0dbd7b1f3d7d01c145f5ce0e510737a3b | |
| parent | 3b0c55c885a34ff7b4a4f461d548afe9277b76ad (diff) | |
Update .gitlab-ci.yml
| -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 |