Skip to content
Snippets Groups Projects
Commit c3acaf73 authored by Ralf Jung's avatar Ralf Jung
Browse files

ocaml-dev test

parent 8cc7ab39
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 6 deletions
.gitlab-ci.yml
+ 1
− 6
View file @ c3acaf73
...@@ -28,12 +28,8 @@ variables: ...@@ -28,12 +28,8 @@ variables:
tags: tags:
- fp - fp
script: script:
- git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2 - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b ocaml-dev
- ci/buildjob - ci/buildjob
cache:
key: "$CI_JOB_NAME"
paths:
- _opam/
except: except:
- triggers - triggers
- schedules - schedules
...@@ -50,7 +46,6 @@ build-coq.dev: ...@@ -50,7 +46,6 @@ build-coq.dev:
build-coq.8.15.0: build-coq.8.15.0:
<<: *template <<: *template
variables: variables:
OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
OPAM_PINS: "coq version 8.15.0" OPAM_PINS: "coq version 8.15.0"
DENY_WARNINGS: "1" DENY_WARNINGS: "1"
MANGLE_NAMES: "1" MANGLE_NAMES: "1"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment