diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 92b9af9fd19f23033867f38df79016b4600bbda9..af6ccd96efd85f06b213013326655a3ac0bad106 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 c3b53061d2452f7ea50766915eb40312163d155a..0000000000000000000000000000000000000000 --- a/ci +++ /dev/null @@ -1 +0,0 @@ -Subproject commit c3b53061d2452f7ea50766915eb40312163d155a