From 47db2fc87d9918064956378630dcd102e0df53bf Mon Sep 17 00:00:00 2001
From: codex <codex@bstein.dev>
Date: Sun, 10 May 2026 03:25:44 -0300
Subject: [PATCH] ci: keep Jenkins agents on rpi5 workers

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 3de718b..7092d6f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,6 +7,7 @@ apiVersion: v1
 kind: Pod
 spec:
   nodeSelector:
+    hardware: rpi5
     kubernetes.io/arch: arm64
     node-role.kubernetes.io/worker: "true"
   affinity: