Skip to content

ci: real test step, shorter CodeQL wait #10

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
patrick-main-promotion-bot merged 1 commit into from
Sep 30, 2026
Merged

ci: real test step, shorter CodeQL wait #10

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
13 changes: 7 additions & 6 deletions .github/workflows/merge-bot.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,10 +30,11 @@ jobs:

- name: Run Test Suite
run: |
echo "TODO: replace with real build/test/scan commands"
# pytest
# cargo test
# If this stays a bare echo, the check always passes and proves nothing.
set -euo pipefail
bad=$(grep -rnE '^\s*(-\s*)?uses:\s+[^./]' .github/workflows | grep -vE '@[0-9a-f]{40}' || true)
[ -z "$bad" ] || { echo "::error::unpinned actions:"; echo "$bad"; exit 1; }
if ls .github/scripts/*.py >/dev/null 2>&1; then python3 -m py_compile .github/scripts/*.py; fi
echo "Actions pinned, scripts compile."

# ===============================================================
# JOB 2: PR must be linear and fast-forwardable onto main
Expand Down Expand Up @@ -111,7 +112,7 @@ jobs:
- name: Wait for CodeQL checks
run: |
set -euo pipefail
for i in $(seq 1 50); do
for i in $(seq 1 20); do
ok=1
for name in "CodeQL" "Analyze (actions)"; do
c=$(gh api "repos/$GITHUB_REPOSITORY/commits/$HEAD_SHA/check-runs?per_page=100" \
Expand All @@ -124,7 +125,7 @@ jobs:
[ "$ok" = 1 ] && { echo "CodeQL checks green."; exit 0; }
sleep 30
done
echo "::error::timed out waiting for CodeQL"; exit 1
echo "::error::CodeQL produced no result in 10 min. Check that the CodeQL workflow is enabled."; exit 1

# ===============================================================
# JOB 3: Human approval gate, then fast-forward push via GitHub App
Expand Down
Loading