From df001dc8ae3ec2b302c100e085af4e7629f91aac Mon Sep 17 00:00:00 2001
From: Mandel Olaiya <mandeleolaiya15@icloud.com>
Date: Tue, 17 Mar 2026 02:01:34 +0100
Subject: [PATCH] ci: set explicit external_pool agent label for Jenkins
 pipeline

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index cde6c22..2c97029 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,7 @@
 #!/usr/bin/env groovy
 
 pipeline {
-    agent any
+    agent { label 'external_pool' }
     options {
         disableConcurrentBuilds()
         skipDefaultCheckout(true)