diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d65bd34bf6482b1d52bbbcddf786237fe50fac22..cb32823984948e282a328e27a53080d53116f0ae 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,4 +1,4 @@ -image: opam +image: ralfjung/opam-ci:latest lrust-coq8.5.3: tags: