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

New container image
Some checks failed
gitea/real_analysis/pipeline/head There was a failure building this commit
Details

Browse Source
This commit is contained in:
Philippe Zwietering
2025-11-15 13:30:30 +01:00
parent 81586f7f19
commit 13455b406d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Jenkinsfile vendored
View File

@@ -4,7 +4,7 @@ pipeline {
stage('Build') { stage('Build') {
agent { agent {
docker { docker {
image 'kjarosh/latex:2024.4' image 'kjarosh/latex:2025.1'
reuseNode true reuseNode true
} }
} }