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

ci: run on push to main

3421889
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar