From c83feb6b8f47597f69cacae39bbd3f6b41c49cd2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 18 Sep 2018 22:45:35 +0200
Subject: [PATCH] autoamtically use latest CI
---
.gitlab-ci.yml | 2 +-
ci | 1 -
2 files changed, 1 insertion(+), 2 deletions(-)
delete mode 160000 ci
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index df9f2845..6dc449cd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,13 +5,13 @@ stages:
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