From b7d7f446e3ab6cc8cd5ae251cd46a7586dbc4dfe Mon Sep 17 00:00:00 2001
From: Francia Csaba <cf@gerhardt.io>
Date: Wed, 12 Jun 2024 14:52:02 +0200
Subject: [PATCH] Use builtin agent

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 89bc20a..bfa098f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent any
+    agent { label 'builtin' }
     environment {
         GITEA_CREDS = credentials('AMARILLO-JENKINS-GITEA-USER')
         PYPI_CREDS = credentials('AMARILLO-JENKINS-PYPI-USER')