Commit 8ab5a3f2 authored by Björn Brandenburg's avatar Björn Brandenburg

WIP

parent 42234c34
Pipeline #21873 passed with stages
in 4 minutes and 17 seconds
......@@ -44,11 +44,6 @@ stages:
- "*/*/*/*/*/*/*/*/*/*.glob"
expire_in: 1 week
.only-for-master:
rules:
- if: '$CI_COMMIT_REF_NAME != "master"'
- if: '$CI_MERGE_REQUEST_TARGET_BRANCH_NAME == "master"'
1.9.0-coq-8.10:
extends:
- .build
......@@ -58,7 +53,6 @@ stages:
extends:
- .build-classic
- .collect-vo-files
- .only-for-master
proof-length:
stage: build
......@@ -78,21 +72,17 @@ spell-check:
1.9.0-coq-dev:
extends:
- .build
- .only-for-master
# it's ok to fail with an unreleased version of Coq
allow_failure: true
latest-coq-8.10:
extends:
- .build
- .only-for-master
# it's ok to fail with an unreleased version of ssreflect
allow_failure: true
validate:
stage: process
extends:
- .only-for-master
image: mathcomp/mathcomp:1.9.0-coq-8.10
needs: ["1.9.0-coq-8.10"]
dependencies:
......@@ -101,8 +91,6 @@ validate:
validate-classic:
stage: process
extends:
- .only-for-master
image: mathcomp/mathcomp:1.9.0-coq-8.10
needs: ["1.9.0-coq-8.10-classic"]
dependencies:
......@@ -137,7 +125,6 @@ doc:
doc-classic:
extends:
- .doc
- .only-for-master
needs: ["1.9.0-coq-8.10-classic"]
dependencies:
- 1.9.0-coq-8.10-classic
......@@ -151,8 +138,6 @@ doc-classic:
proof-state:
stage: process
extends:
- .only-for-master
image: mathcomp/mathcomp:1.9.0-coq-8.10
needs: ["1.9.0-coq-8.10"]
dependencies:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment