From fd0ebc8d1d06f080e7bde2b7d94db7adec908967 Mon Sep 17 00:00:00 2001 From: Robbert Krebbers Date: Thu, 28 Feb 2019 15:55:45 +0100 Subject: [PATCH] .gitlab-ci.yml file. --- .gitlab-ci.yml | 47 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 .gitlab-ci.yml diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000..11bad3c --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,47 @@ +image: ralfjung/opam-ci:opam2 + +stages: + - build + +variables: + CPU_CORES: "10" + +.template: &template + stage: build + tags: + - fp + script: + - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2 + - ci/buildjob + cache: + key: "$CI_JOB_NAME" + paths: + - opamroot/ + only: + - master + - /^ci/ + except: + - triggers + - schedules + +## Build jobs + +build-coq.dev: + <<: *template + variables: + OCAML: "ocaml-base-compiler.4.07.0" + OPAM_PINS: "coq version dev" + +build-coq.8.8.2: + <<: *template + variables: + OPAM_PINS: "coq version 8.8.2" + +build-iris.dev: + <<: *template + variables: + OPAM_PINS: "coq version 8.8.2 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV" + except: + only: + - triggers + - schedules -- 2.22.0