master #61

Merged
andrey merged 4 commits from master into release 2021-04-02 12:20:04 +03:00
2 changed files with 4 additions and 1 deletions
Showing only changes of commit 9baa4c53a5 - Show all commits

3
Jenkinsfile vendored
View File

@@ -43,6 +43,9 @@ pipeline {
agent {
label 'master'
}
options {
copyArtifactPermission('*');
}
stages {
stage("PIP doc") {
steps {

2
cmake

Submodule cmake updated: 44f27b5010...d3b4147e0f