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

Add label requirement for Jenkins

Browse Source
This commit is contained in:
Ethan Roseman 2021-01-18 22:05:32 +09:00
parent 5aad7d8e41
commit 2838e08f63
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Jenkinsfile vendored
View File

@ -1,5 +1,7 @@
pipeline {
agent any
agent {
label 'papermario'
}
stages {
stage('Setup') {