From a386993c05b08afbaa36cdc9386dc0f40dd06089 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Thu, 22 Jul 2021 21:23:48 +0200
Subject: [PATCH] CI: use custom Docker image for proof-state collection
---
.gitlab-ci.yml | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4e2129ba0..f68c0e0a0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -205,17 +205,17 @@ doc-classic:
proof-state:
extends:
- - .not_in_wip_branches
- - .preferred-stable-version
- stage: process
- needs: ["compile"]
- dependencies:
- - compile
+ - .not_in_wip_branches
+ stage: build
+ image: bbbrandenburg/alectryon-ci:latest
script:
+ - eval $(opam env "--switch=${COMPILER_EDGE}" --set-switch)
+ - ./create_makefile.sh --without-classic
+ - make -j ${NJOBS}
- make alectryon
- - mv html ../with-proofs-and-proof-state
+ - mv html html-alectryon
artifacts:
name: "prosa-proof-state-$CI_COMMIT_REF_NAME"
paths:
- - "with-proofs-and-proof-state/"
+ - "html-alectryon/"
expire_in: 1 week
--
GitLab