From 1198311628672cb307f3445d2c3089bb66c592c7 Mon Sep 17 00:00:00 2001
From: "Timothy J. Warren" <tim@timshome.page>
Date: Wed, 22 Nov 2023 12:00:24 -0500
Subject: [PATCH] Tweak Jenkins setup

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 2b91353..d19fdc9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,15 +15,12 @@ pipeline {
 		stage('deno') {
 			agent {
 				docker {
-					image 'denoland/deno'
+					image 'denoland/deno:alpine'
 					args '-u root --privileged'
 				}
 			}
 			steps {
-				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 'apk add just'
 				sh 'just deno-test'
 			}
 		}