ci: set explicit external_pool agent label for Jenkins pipeline

2026-03-17 02:01:34 +01:00
parent c9382973c8
commit df001dc8ae
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -1,7 +1,7 @@
 #!/usr/bin/env groovy

 pipeline {
-    agent any
+    agent { label 'external_pool' }
    options {
        disableConcurrentBuilds()
        skipDefaultCheckout(true)