Rename the r7rs-srfi job

2024-09-28 17:20:26 +03:00 · 2024-09-28 17:20:26 +03:00 · f641cbe16e
parent cd208e67af
commit f641cbe16e
1 changed files with 1 additions and 1 deletions
--- a/jenkins.yml
+++ b/jenkins.yml
@ -87,7 +87,7 @@ jobs:
        displayName: 'srfi-explorations'
      }
  - script: >
-      multibranchPipelineJob('srfi_explorations/build') {
+      multibranchPipelineJob('srfi_explorations/r7rs-srfi') {
        displayName: 'R7RS-SRFI'
        branchSources {
          git {