Skip to content

ci: let results reach a protected branch, and never lose a long run - #1065

Merged
edkerk merged 2 commits into
developfrom
ci/results-push-and-salvage
Jul 16, 2026
Merged

ci: let results reach a protected branch, and never lose a long run#1065
edkerk merged 2 commits into
developfrom
ci/results-push-and-salvage

Commits

Commits on Jul 16, 2026