From 74e595462d54499fbc74d408dc1397da5e1572d7 Mon Sep 17 00:00:00 2001
From: "Timothy J. Warren" <tim@timshome.page>
Date: Wed, 22 Nov 2023 11:58:18 -0500
Subject: [PATCH] Tweak Jenkins setup

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

diff --git a/Jenkinsfile b/Jenkinsfile
index fad6631..2b91353 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -20,7 +20,10 @@ pipeline {
 				}
 			}
 			steps {
-				sh 'apt install -yyy just'
+				sh 'wget -qO - 'https://proget.makedeb.org/debian-feeds/prebuilt-mpr.pub' | gpg --dearmor | sudo tee /usr/share/keyrings/prebuilt-mpr-archive-keyring.gpg 1> /dev/null'
+				sh 'echo "deb [arch=all,$(dpkg --print-architecture) signed-by=/usr/share/keyrings/prebuilt-mpr-archive-keyring.gpg] https://proget.makedeb.org prebuilt-mpr $(lsb_release -cs)" | sudo tee /etc/apt/sources.list.d/prebuilt-mpr.list'
+        sh 'apt update'
+				sh 'apt install -y just'
 				sh 'just deno-test'
 			}
 		}