From 9377c9423cf1cc2fd593c3686c96d54bb90291d7 Mon Sep 17 00:00:00 2001
From: "Dustin C. Hatch" <dustin@hatch.name>
Date: Sat, 14 Dec 2024 14:01:59 -0600
Subject: [PATCH] ci: Fix file ownership before archiving

Several log files in `/var/log` are owned by users other than root.
From outside the user namespace, these files are inaccessible to the
unprivileged user, so we need to change their ownership before we can
archive them.
---
 ci/Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index a6ea61c..9881660 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -60,6 +60,7 @@ pipeline {
 
     post {
         failure {
+            sh 'unshare -Ur --map-auto chown root:root -R tmp log'
             dir('tmp/portage') {
                 archiveArtifacts '*/*/temp/*.log'
             }