use Docker image matching CI branch

00f7b76d · Ralf Jung · f6ba55cd · 00f7b76d · c3b53061 · c3b53061
Commit 00f7b76d authored Sep 19, 2018 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 3 deletions

.gitlab-ci.yml .gitlab-ci.yml +2 -2

ci ci +0 -1

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
-image: ralfjung/opam-ci:latest
+image: ralfjung/opam-ci:opam2

 stages:
  - build

 variables:
  CPU_CORES: "10"
-  GIT_SUBMODULE_STRATEGY: "recursive"

 .template: &template
  stage: build
  tags:
  - fp
  script:
+  - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
  - ci/buildjob
  cache:
    key: "$CI_JOB_NAME"

--- a/ci @ c3b53061
+++ b/ci @ c3b53061
-Subproject commit c3b53061d2452f7ea50766915eb40312163d155a