diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1de5533e8c2c9a0898bf0b4de78e19db0c455913..93ad3f5faa383e5f1acf2586ed3673efda985702 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/iris/ci.git ci -b opam2 - ci/buildjob cache: key: "$CI_JOB_NAME"