From 95f0ce558411895707a37374ef0abedab8d3a8d1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 19 Sep 2018 08:41:45 +0200
Subject: [PATCH] use Docker image matching CI branch
---
.gitlab-ci.yml | 4 ++--
ci | 1 -
2 files changed, 2 insertions(+), 3 deletions(-)
delete mode 160000 ci
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 92b9af9f..af6ccd96 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,17 +1,17 @@
-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"
diff --git a/ci b/ci
deleted file mode 160000
index c3b53061..00000000
--- a/ci
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit c3b53061d2452f7ea50766915eb40312163d155a
--
GitLab