From f8b2455a600431b5243fac32f70486461ab8add1 Mon Sep 17 00:00:00 2001
From: Richard Eisenberg <rae@richarde.dev>
Date: Wed, 24 Jul 2019 16:07:19 -0400
Subject: [PATCH] CI
---
.gitlab-ci.yml | 2 --
1 file changed, 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 781b331..05667f8 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
--
GitLab