user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make verify-channel.sh script compatible with new bors

Browse source 
(cherry picked from commit 6f7313e8ad)
This commit is contained in:
Jakub Beránek 2026-01-07 12:55:38 +01:00 • committed by Josh Stone
parent af53cfa882
commit 2827b1b83d
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/ci/scripts/verify-channel.sh
View file

@ -8,7 +8,8 @@ IFS=$'\n\t'
source "$(cd "$(dirname "$0")" && pwd)/../shared.sh"
if isCiBranch auto || isCiBranch try || isCiBranch try-perf || isCiBranch automation/bors/try; then
if isCiBranch auto || isCiBranch try || isCiBranch try-perf || \
isCiBranch automation/bors/try || isCiBranch automation/bors/auto; then
echo "channel verification is only executed on PR builds"
exit
fi