From 434365543e0319441f874f8cafd23c56d11418ba Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Fri, 19 May 2023 13:42:56 -0400 Subject: [PATCH] .gitlab-ci.yml: build: Clean before build The motivating factor here is some out of date or corrupted rustc cache, however we really ought to be doing fresh builds for TAME; it doesn't add enough time that it's worth sacrificing assurances. --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c288711e..931d0ed8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -20,7 +20,7 @@ build: - export SAXON_CP=/usr/share/ant/lib/saxon9/saxon9he.jar - export HOXSL=hoxsl - ./bootstrap - - make all check info pdf html + - make clean all check info pdf html artifacts: paths: - doc/