Merge pull request 'master' (#61) from master into release
Some checks are pending
SHS Gitea/shstk/pipeline/head Build queued...
Some checks are pending
SHS Gitea/shstk/pipeline/head Build queued...
Reviewed-on: https://git.shs.tools/SHS/shstk/pulls/61
This commit was merged in pull request #61.
This commit is contained in:
3
Jenkinsfile
vendored
3
Jenkinsfile
vendored
@@ -43,6 +43,9 @@ pipeline {
|
||||
agent {
|
||||
label 'master'
|
||||
}
|
||||
options {
|
||||
copyArtifactPermission('*');
|
||||
}
|
||||
stages {
|
||||
stage("PIP doc") {
|
||||
steps {
|
||||
|
||||
2
cmake
2
cmake
Submodule cmake updated: 44f27b5010...d3b4147e0f
2
pip
2
pip
Submodule pip updated: 6e4b808a66...20389d68fa
2
qad
2
qad
Submodule qad updated: 42f445d7ca...8f7672b7be
Reference in New Issue
Block a user