diff --git a/jenkins.yml b/jenkins.yml index 3b1c30d..44d0a32 100644 --- a/jenkins.yml +++ b/jenkins.yml @@ -110,6 +110,7 @@ jobs: displayName: 'r7rs-pffi' branchSources { git { + id('git') remote('https://git.sr.ht/~retropikzel/r7rs-pffi') } }