diff --git a/Jenkinsfile b/Jenkinsfile
index 3dcbb4abaf06d7c13601401fa93435c02ea59c3d..568d57687d03f6d848bf26d10aba10471ffa319b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -376,7 +376,7 @@ pipeline {
         // *********************** Deploy Doxygen ******************************
         stage('Deploy Doxygen') {
           when { expression { return stage_required.build || stage_required.full } }
-          agent any
+          agent { label "master" }
           steps {
             dir('doxygen') { unstash 'doxygen' }
             unstash 'known_hosts'