diff --git a/Jenkinsfile b/Jenkinsfile index bf17402..ea20aba 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -43,6 +43,9 @@ pipeline { agent { label 'master' } + options { + copyArtifactPermission('*'); + } stages { stage("PIP doc") { steps { diff --git a/cmake b/cmake index 44f27b5..d3b4147 160000 --- a/cmake +++ b/cmake @@ -1 +1 @@ -Subproject commit 44f27b5010f3bdf8198b9ee7aacec882cede4605 +Subproject commit d3b4147e0f8e281c466600bcb945ea81d5364523