pmret/papermario
1
0
Fork 0
mirror of https://github.com/pmret/papermario.git synced 2024-11-18 00:42:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

Jenkins fix

Browse Source
This commit is contained in:
Ethan Roseman 2021-01-19 18:16:45 +09:00
parent 8081c27cc0
commit 00861d0a5e
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
Jenkinsfile vendored
View File

@ -1,6 +1,13 @@
def agentLabel
if (BRANCH_NAME == "master") {
agentLabel = "master"
} else {
agentLabel = "papermario"
}
pipeline {
agent {
label 'papermario'
label agentLabel
}
stages {