From d185158f63f7d5b34888226241c9a293312b3fcc Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sun, 29 Sep 2024 07:20:33 +0300 Subject: [PATCH] Fix r7rs-pffi job --- jenkins.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/jenkins.yml b/jenkins.yml index e58e80f..9884915 100644 --- a/jenkins.yml +++ b/jenkins.yml @@ -110,7 +110,6 @@ jobs: displayName: 'r7rs-pffi' branchSources { git { - id('github') remote('https://git.sr.ht/~retropikzel/r7rs-pffi') } }