diff --git a/Jenkinsfile b/Jenkinsfile
index 802db83..b50f3d7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,6 +5,7 @@
     stages {
         stage('Build') {
             agent { 
+	    	label 'jenkins-build-agent'
 		docker {
 			image 'jenkins-build-agent:latest'
 		}
@@ -17,6 +18,7 @@
         }
         stage('Linting') {
             agent {
+		label 'jenkins-linting-agent'
 		dockerfile {
 			filename 'Dockerfile.lint'
 			reuseNode true
@@ -26,6 +28,7 @@
                 echo 'Linting..'
 		sh 'make tidy || true'
 		junit allowEmptyResults: true, healthScaleFactor: 0.0, testResults: 'build/tidy.xml'
+		sh 'true'
             }
         }
         stage('Test') {