papermario/Jenkinsfile

40 lines
858 B
Plaintext
Raw Normal View History

2021-01-19 10:16:45 +01:00
def agentLabel
if (BRANCH_NAME == "master") {
agentLabel = "master"
} else {
agentLabel = "papermario"
}
2020-08-15 06:12:23 +02:00
pipeline {
2021-01-18 14:05:32 +01:00
agent {
2021-01-19 10:16:45 +01:00
label agentLabel
2021-01-18 14:05:32 +01:00
}
2020-08-15 06:12:23 +02:00
stages {
stage('Setup') {
steps {
sh './configure.py --baserom /usr/local/etc/roms/papermario.us.z64'
2020-08-15 06:12:23 +02:00
}
}
stage('Build') {
steps {
2021-01-15 01:04:40 +01:00
sh 'ninja'
2020-08-15 06:12:23 +02:00
}
}
2021-01-04 14:50:33 +01:00
stage('Report Progress') {
when {
branch 'master'
}
steps {
sh 'python3 progress.py --csv >> /var/www/papermar.io/html/reports/progress.csv'
2021-01-15 19:19:30 +01:00
sh 'python3 progress.py --shield-json > /var/www/papermar.io/html/reports/progress_shield.json'
2021-01-04 14:50:33 +01:00
}
}
2020-08-15 06:12:23 +02:00
}
post {
always {
cleanWs()
}
}
}