diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8d23bbed929b205dbcdeeb6b53cc47aa2b8e759e..6009e964336dd9ef2e1b7519cf809720ca1119f5 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