Tweak Jenkins setup

2023-11-22 11:58:18 -05:00 · 2023-11-22 11:58:18 -05:00 · 74e595462d
parent 994441191b
commit 74e595462d
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@ -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'
 			}
 		}