diff options
| author | coqbot-app[bot] | 2020-12-02 09:41:31 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-02 09:41:31 +0000 |
| commit | b3b4d641dafe58ad04932c5bb5cc2f4f3f54d91f (patch) | |
| tree | e6081b839d134faebf821f31f705d668d44e6d15 /.gitlab-ci.yml | |
| parent | 2eeeba76598258bd5691a9825fd888c350fbcef3 (diff) | |
| parent | c79677a99b48f85b8c79215dd35476005eea2e11 (diff) | |
Merge PR #13472: [ci] Add job for gappa
Reviewed-by: SkySkimmer
Ack-by: ejgallego
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index bd015a40b6..af54edfa21 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -19,7 +19,7 @@ stages: variables: # Format: $IMAGE-V$DATE-$hash # The $hash is the first 10 characters of the md5 of the dockerfile - CACHEKEY: "bionic_coq-V2020-11-26-db194d584e" + CACHEKEY: "bionic_coq-V2020-11-26-50e9456f22" IMAGE: "$CI_REGISTRY_IMAGE:$CACHEKEY" # By default, jobs run in the base switch; override to select another switch OPAM_SWITCH: "base" @@ -847,6 +847,16 @@ library:ci-corn: - build:edge+flambda - library:ci-math_classes +plugin:ci-gappa: + extends: .ci-template-flambda + stage: stage-3 + needs: + - build:edge+flambda + - library:ci-flocq + dependencies: + - build:edge+flambda + - library:ci-flocq + library:ci-geocoq: extends: .ci-template-flambda |