diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7df985fd04930f7535dca870e00907640781b285..772fb5fef3e1c13860a70e5f5ed3e91f78d759cd 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,15 +1,10 @@ -variables: - GIT_SSL_NO_VERIFY: "1" - TEST_ENV: "x86_64-linux-deb9" - - # Commit of ghc/ci-images repository from which to pull Docker images - DOCKER_REV: e517150438cd9df9564fb91adc4b42e2667b2bc1 - stages: - tex - pdf build-tex: + tags: + - x86_64-linux image: "ocaml/opam2:latest" script: - opam install ott @@ -21,6 +16,8 @@ build-tex: - ott.tex build-pdf: + tags: + - x86_64-linux image: "aergus/latex:latest" script: - make haskell.pdf