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

Poging met een dockerfile
Some checks reported errors
gitea/real_analysis/pipeline/head Something is wrong with the build of this commit
Details

Browse Source
This commit is contained in:
Philippe Zwietering
2025-11-15 20:37:43 +01:00
parent ad278c6e66
commit d2b0965281
2 changed files with 3 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Dockerfile Normal file
View File

@@ -0,0 +1,2 @@
FROM kjarosh/latex:2025.1
RUN tlmgr install libertinus

8
Jenkinsfile vendored
View File

@@ -2,15 +2,9 @@ pipeline {
agent any
stages {
stage('Build') {
agent {
docker {
image 'kjarosh/latex:2025.1'
reuseNode true
}
}
agent { dockerfile true }
steps {
echo 'Starting build step...'
sh 'tlmgr install libertinus'
sh 'latexmk -pdf -outdir=out main_text.tex'
}
}