diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 907e4ae53fb397477ea2bbe6d67a615e3ae69f4e..46f7bbfb4d66dca6fc53fba38e3d29e791f7ab96 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