diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6dc449cd17ca42a70d7ba5578215f5501e24d5f2..cf9d562894a1e3173458459a3867b79476ac276a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,4 +1,4 @@ -image: ralfjung/opam-ci:latest +image: ralfjung/opam-ci:opam2 stages: - build