diff --git a/Jenkinsfile b/Jenkinsfile index 41a6027..1f776bd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,7 +16,7 @@ pipeline { } } } - stage('Build on Windows') { + stage('Build on Linux') { agent { label "linux" }