diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 652004b810b62e489d85616db93bcebe1fd98072..3e640aef01beba3205e3d4f5e53b9b1c59a9f331 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -4,7 +4,9 @@ variables: # Commit of ghc/ci-images repository from which to pull Docker images DOCKER_REV: e517150438cd9df9564fb91adc4b42e2667b2bc1 -hello: +build-pdf: + # use linters image, as it's likely lower power image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" + script: - - echo "Hello, world!" + - opam install ott