Merge pull request 'Jenkinsfile' (#110) from master into release
All checks were successful
SHS Gitea/shstk/pipeline/head This commit looks good
All checks were successful
SHS Gitea/shstk/pipeline/head This commit looks good
Reviewed-on: https://git.shs.tools/SHS/shstk/pulls/110
This commit was merged in pull request #110.
This commit is contained in:
1
Jenkinsfile
vendored
1
Jenkinsfile
vendored
@@ -54,6 +54,7 @@ pipeline {
|
||||
}
|
||||
options {
|
||||
copyArtifactPermission('*');
|
||||
buildDiscarder(logRotator(numToKeepStr: "20", artifactNumToKeepStr: "10"))
|
||||
}
|
||||
stages {
|
||||
stage("PIP doc") {
|
||||
|
||||
Reference in New Issue
Block a user