diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d11b06af3da354c61764c352daeedea3e8676a52..eb7f7284f22abf959b612934492f54578f9acbb3 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"