CI

.gitlab-ci.yml

@@ -6,9 +6,9 @@ variables:
 
 stages:
   - tex
+  - pdf
 
 build-tex:
-  # image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb9:$DOCKER_REV"
   image: "ocaml/opam2:latest"
   script:
     - opam install ott
@@ -17,3 +17,9 @@ build-tex:
   artifacts:
     paths:
       - haskell.tex
+
+build-pdf:
+  image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb9:$DOCKER_REV"
+  script:
+    - make haskell.pdf
+  stage: pdf