diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 781b331558609c39e1ef6975cf2330afe4463519..05667f8382ad34b323ef7c2d515db007223041d5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -10,9 +10,7 @@ stages: build-tex: # image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb9:$DOCKER_REV" image: "ocaml/opam2:latest" - script: - opam install ott - make haskell.tex - stage: tex