Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fixup! tools: check CI availability and workload
  • Loading branch information
panva committed Sep 25, 2026
commit 16f8d11b5e54132f84c0b066b84225179db1aad2
5 changes: 3 additions & 2 deletions .github/workflows/auto-start-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,10 +33,11 @@ jobs:
steps:
- name: Get Pull Requests
id: get_prs_for_ci
# Explicit bash enables pipefail so jq cannot hide a failed gh query.
shell: bash
Comment thread
panva marked this conversation as resolved.
Resolved
run: |
if ! [[ "$BATCH_SIZE" =~ ^(0|[1-9][0-9]*)$ ]]; then
echo '::error::AUTO_START_CI_BATCH_SIZE must be a non-negative integer'
if ! [[ "$BATCH_SIZE" =~ ^[1-9][0-9]*$ ]]; then
echo '::error::AUTO_START_CI_BATCH_SIZE must be a strictly positive integer'
exit 1
fi
# Filter before selecting the batch; UNKNOWN mergeability is retried later.
Expand Down
Loading