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

Vieze workspace
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-16 00:45:26 +01:00
parent a7ec28cf5c
commit 83c9218b81
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
Jenkinsfile vendored
View File

@@ -23,4 +23,9 @@ pipeline {
} }
} }
} }
post {
cleanup {
cleanWs()
}
}
} }