diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e326bbffba2863fe8fb99094a892c385c7eaa63a..e7a2b079d845717fe80c881423c2bf28a60f3fe3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -11,7 +11,7 @@ variables: tags: - fp script: - - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2 + - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b test - ci/buildjob cache: key: "$CI_JOB_NAME"