diff --git a/Jenkinsfile b/Jenkinsfile index d55b94e4..155fb875 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,11 +10,6 @@ pipeline { } } stage('Build') { - when { - not { - branch 'master' - } - } steps { sh 'make -j' } @@ -34,4 +29,4 @@ pipeline { cleanWs() } } -} \ No newline at end of file +}