image: ralfjung/opam-ci:opam2 stages: - build variables: CPU_CORES: "10" OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda" .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: - _opam/ only: - master@iris/actris - /^ci/@iris/actris except: - triggers - schedules - api ## Build jobs build-coq.8.15.1: <<: *template variables: OPAM_PINS: "coq version 8.15.1" DENY_WARNINGS: "1" OPAM_PKG: "1" tags: - fp-timing trigger-iris.dev: <<: *template variables: STDPP_REPO: "iris/stdpp" IRIS_REPO: "iris/iris" OPAM_PINS: "coq version 8.15.dev git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV" except: only: - triggers - schedules - api