Fix r7rs-pffi job

2024-09-29 07:20:33 +03:00 · 2024-09-29 07:20:33 +03:00 · d185158f63
parent 5e63c82e82
commit d185158f63
1 changed files with 0 additions and 1 deletions
--- 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')
          }
        }