Skip to content

ci: run on push to main (fix stale red badge)#140

Merged
renaudcepre merged 1 commit into
mainfrom
ci-run-on-main-push
Jun 25, 2026
Merged

ci: run on push to main (fix stale red badge)#140
renaudcepre merged 1 commit into
mainfrom
ci-run-on-main-push

Conversation

@renaudcepre

Copy link
Copy Markdown
Owner

Le badge CI affiché sur la page PyPI / le README était rouge alors que le code est sain.

Cause : ci.yml ne se déclenchait que sur pull_request, jamais sur push vers main. Le badge ci.yml/badge.svg reflète le dernier run sur la branche par défaut, resté figé sur un échec de mars 2026. Toutes les PRs récentes étaient vertes.

Fix : ajout du trigger push: branches: [main]. Chaque merge relance la CI sur main et met le badge à jour. Le merge de cette PR produira le premier run vert sur main.

ci.yml only triggered on pull_request, so the default-branch CI badge was frozen
on the last push run (a failure from March) and showed red on the PyPI page even
though every PR was green. Adding a push trigger on main refreshes the badge on
each merge.
@renaudcepre
renaudcepre merged commit c5dc0c2 into main Jun 25, 2026
11 checks passed
@renaudcepre
renaudcepre deleted the ci-run-on-main-push branch June 25, 2026 03:29
renaudcepre added a commit that referenced this pull request Jun 25, 2026
ci.yml only triggered on pull_request, so the default-branch CI badge was frozen
on the last push run (a failure from March) and showed red on the PyPI page even
though every PR was green. Adding a push trigger on main refreshes the badge on
each merge.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant