Skip to content

ci: don't run push workflow for PR branches - #29

Merged
dsherret merged 2 commits into
mainfrom
ci-push-filter
Jul 13, 2026
Merged

ci: don't run push workflow for PR branches#29
dsherret merged 2 commits into
mainfrom
ci-push-filter

ci: drop unneeded id-token permission from test job

20ff797
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar