From f641cbe16e88962f89453123273560639b8aaaab Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sat, 28 Sep 2024 17:20:26 +0300 Subject: [PATCH] Rename the r7rs-srfi job --- jenkins.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins.yml b/jenkins.yml index dd986f7..5ed7873 100644 --- 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 {