jenkins-playground/Jenkinsfile

pipeline {
    agent {
	label "balaam"
    }

    stages {
        stage('credits'){
            when { changeset "credits.txt"}
            steps {
                sh "beefhavers_credits.sh jenkins-playground"
            }
        }
    }
}