diff options
| author | Emilio Jesus Gallego Arias | 2019-11-24 19:57:02 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-12-04 14:14:58 +0100 |
| commit | 1d454c7721a429490165d1147313c061164b0b66 (patch) | |
| tree | 1bdf490ceb6af078424608c306df8417971f3599 /.gitlab-ci.yml | |
| parent | effbc03b9072ff94f96e54a5026ce04d7aa41bcc (diff) | |
[dune] Update to dune language version 2.0
This is the minimal set of changes requires for Coq to build under 2.0
mode. We may likely take advantage of some more new features.
Note that Dune 2.0 requires OCaml >= 4.06.0, OPAM allows to use Dune
in older versions as it will install a secondary compiler.
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 49e1361407..6344b51702 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -18,7 +18,7 @@ stages: variables: # Format: $IMAGE-V$DATE [Cache is not used as of today but kept here # for reference] - CACHEKEY: "bionic_coq-V2019-11-25-V01" + CACHEKEY: "bionic_coq-V2019-12-03-V81" IMAGE: "$CI_REGISTRY_IMAGE:$CACHEKEY" # By default, jobs run in the base switch; override to select another switch OPAM_SWITCH: "base" |