diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 337e88514c4838089ae0274a2e8241c08a36b919..41c845f4414bccfedb4df5fa9e952aaae51b5bbd 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -7,7 +7,7 @@ variables: build-pdf: # use linters image, as it's likely lower power # image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" - image: "hub.docker.com/r/ocaml/opam2:latest" + image: "ocaml/opam2:latest" script: - opam install ott