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
This commit is contained in:
Jakub Beránek 2026-01-07 12:55:38 +01:00
parent d9617c8d9a
commit 6f7313e8ad
No known key found for this signature in database
GPG key ID: 909CD0D26483516B
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