Skip to content

ci: report README badge status from dev - #9512

Merged
koenvanderveen merged 1 commit into
devfrom
koen/ci-badges-dev
Sep 10, 2026
Merged

ci: report README badge status from dev#9512
koenvanderveen merged 1 commit into
devfrom
koen/ci-badges-dev

Conversation

@koenvanderveen

Copy link
Copy Markdown
Collaborator

Problem

The Unit Tests badge in the README was red, but not because dev is broken. unit-tests.yml only triggers on pull_request and push: [main], so it has never run on dev. A badge with no ?branch= falls back to the workflow's latest run, which happened to be a failing PR branch (pjwerneck/restrict-allowed-audit, missing jax). Dev's unit tests pass locally — 218 passed for just test-unit-restrict.

Change

  • unit-tests.yml: branches: [main]branches: [main, dev], so merges to dev produce a dev-branch run for the badge to point at.
  • README.md: both workflow badges get ?branch=dev, and the links go to ?query=branch%3Adev so clicking through shows only dev runs.

PR runs are unaffected — the pull_request: trigger is untouched, and push only fires when something lands on dev.

Notes

  • The Integration Tests badge needed no trigger change; the nightly cron is already attributed to dev. It will keep showing red until the three failing GDrive integration tests on dev are fixed (test_do_cache_aware_sync_gdrive, test_pagination_and_early_termination, test_google_drive_connection_load_state) — that is a genuine dev failure, not badge noise.
  • The Unit Tests badge will read "no status" until the first push to dev after this merges, then go green.

🤖 Generated with Claude Code

The Unit Tests badge showed the last run of unit-tests.yml regardless of
branch, which meant a red badge from an unrelated PR branch. Pin both
workflow badges to dev and run unit tests on pushes to dev so the badge
has a dev-branch result to point at.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@github-actions github-actions Bot added the ci label Sep 10, 2026
@koenvanderveen
koenvanderveen merged commit 7693c80 into dev Sep 10, 2026
19 checks passed
@koenvanderveen
koenvanderveen deleted the koen/ci-badges-dev branch September 10, 2026 13:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant