Skip to content

Commit 59334b8

Browse files
Removed patch parameter from jenkinsfile
1 parent 838bb7b commit 59334b8

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

Jenkinsfile

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,6 @@ pipeline {
99
parameters {
1010
string(defaultValue: '', name: 'major_version', description: "Major version of the docs to be built")
1111
string(defaultValue: '', name: 'minor_version', description: "Minor version of the docs to be built")
12-
booleanParam(defaultValue: false, name: 'patch', description: "Is it a patch ?")
1312
}
1413
environment {
1514
GITHUB_TOKEN = credentials('6e7c1e8f-ca2c-4b11-a70e-d934d3f6b681')
@@ -51,11 +50,7 @@ pipeline {
5150
}
5251
stage("Link docs to latest") {
5352
steps{
54-
script{
55-
if(params.patch) {
56-
sh "add_links.sh"
57-
}
58-
}
53+
sh "add_links.sh"
5954
}
6055
}
6156
stage("Push PR for docs") {

0 commit comments

Comments
 (0)