From 8cc976c7025c16056775ffff7df3e095f8ef77e5 Mon Sep 17 00:00:00 2001 From: Richard Eisenberg <rae@richarde.dev> Date: Wed, 24 Jul 2019 15:24:08 -0400 Subject: [PATCH] CI --- .gitlab-ci.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 652004b..3e640ae 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -4,7 +4,9 @@ variables: # Commit of ghc/ci-images repository from which to pull Docker images DOCKER_REV: e517150438cd9df9564fb91adc4b42e2667b2bc1 -hello: +build-pdf: + # use linters image, as it's likely lower power image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" + script: - - echo "Hello, world!" + - opam install ott -- GitLab