From a7f7e2deaae3bf6ee88afcebf89fbc4786a936a0 Mon Sep 17 00:00:00 2001
From: Brad Stein <brad@bstein.dev>
Date: Wed, 5 Aug 2026 19:22:26 -0300
Subject: [PATCH] ci: give pip a writable HOME on the agent

---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 274ea1c..ec2cf2b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -17,6 +17,11 @@ spec:
       image: python:3.12-slim
       command: ["sleep"]
       args: ["3600"]
+      env:
+        - name: HOME
+          value: /home/jenkins/agent
+        - name: PIP_CACHE_DIR
+          value: /home/jenkins/agent/.pip-cache
       resources:
         requests:
           cpu: 100m