flip/real_analysis
1
0
Fork 0
Code Issues 3 Pull Requests Packages Projects 1 Releases Wiki Activity

Artifacts opslaan
All checks were successful
gitea/real_analysis/pipeline/head This commit looks good
Details

Browse Source
This commit is contained in:
Philippe Zwietering
2026-01-22 23:43:59 +01:00
parent b27c0d1872
commit 23c5c26472
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Jenkinsfile vendored
View File

@@ -5,6 +5,8 @@ pipeline {
steps { steps {
echo 'Starting build step...' echo 'Starting build step...'
sh 'latexmk -pdf -outdir=out main_text.tex' sh 'latexmk -pdf -outdir=out main_text.tex'
archiveArtifacts artifacts: 'out/main_text.pdf'
} }
} }