summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 51ca8f1..20172df 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,6 +10,7 @@ pipeline {
}
stages {
stage("Fetch data") {
+ agent { label "guixsd" }
steps {
sh (["ansible",
"--limit", "'majordomo:!router-miran1.intr:!vpn-dh.majordomo.ru:!router4.intr:!deprecated'"