diff options
| author | Erik Martin-Dorel | 2019-07-30 12:55:06 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-07-30 12:55:06 +0200 |
| commit | d5ac333d1ee1b4f3a8d38dc0238c661dcc4a89f7 (patch) | |
| tree | e5289f8c40be6088a09cb2db2d9a430f02de8bac | |
| parent | b8eadb8603b83c053a313b39c2a8f268385d8942 (diff) | |
[ci] Add jobs {ci-fourcolor-8.9, ci-odd-order-8.9}
* Add {fourcolor, odd-order} test builds with latest Coq release (8.9)
* As a result, the math-comp CI config w.r.t. {fourcolor, odd-order}
will be similar to that of the upstream repos:
- https://github.com/math-comp/fourcolor/blob/master/.travis.yml
- https://github.com/math-comp/odd-order/pull/16
| -rw-r--r-- | .gitlab-ci.yml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 81c7b7e..f66232e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -143,6 +143,11 @@ ci-fourcolor-8.8: variables: COQ_VERSION: "8.8" +ci-fourcolor-8.9: + extends: .ci-fourcolor + variables: + COQ_VERSION: "8.9" + ci-fourcolor-dev: extends: .ci-fourcolor variables: @@ -168,6 +173,11 @@ ci-odd-order-8.8: variables: COQ_VERSION: "8.8" +ci-odd-order-8.9: + extends: .ci-odd-order + variables: + COQ_VERSION: "8.9" + ci-odd-order-dev: extends: .ci-odd-order variables: |