Skip to content

ci: split push.yml into reusable workflows, share build steps via composite action - #1710

Merged
johnnyreilly merged 18 commits into
mainfrom
ci-split-workflows
Oct 4, 2026
Merged

johnnyreilly merged 18 commits into
mainfrom
ci-split-workflows

test: raise benchmark scenario time budget to 90s and update docs

dbe4534
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar