From e01ec4261639e4685b3760733823d831c7023479 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 18 Sep 2018 23:00:02 +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 b8f31d6c8..907e4ae53 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 c3b53061d..000000000
--- a/ci
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit c3b53061d2452f7ea50766915eb40312163d155a
--
GitLab