From 2f699a2fe10b2ed66e4b9290bbb7b8a407b77483 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Thu, 27 Apr 2023 12:29:25 +0100
Subject: [PATCH] CI fix attempt
---
.gitlab-ci.yml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8d23bbe..6009e96 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -43,7 +43,10 @@ build:
needs: [run-sage-script]
tags: ["x64"]
script: make main.pdf || echo failed final make
+ - make filtered_sage.txt
+ - latexmk || echo failed final latexmk
artifacts:
paths:
- main.pdf
+ - filtered_sage.txt
--
GitLab