From eef05c7e33b09a02696443f5e22ad54a3d13f658 Mon Sep 17 00:00:00 2001
From: Richard Eisenberg <rae@richarde.dev>
Date: Wed, 24 Jul 2019 16:17:47 -0400
Subject: [PATCH] CI
---
.gitlab-ci.yml | 11 ++++-------
1 file changed, 4 insertions(+), 7 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7df985f..772fb5f 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
--
GitLab