Skip to content

build: fix non-fast-forward push in publish_coverage_pr#13393

Merged
kgryte merged 1 commit into
developfrom
philipp/ci-fix-publish-coverage-pr-checkout-2026-07-09
Jul 9, 2026
Merged

build: fix non-fast-forward push in publish_coverage_pr#13393
kgryte merged 1 commit into
developfrom
philipp/ci-fix-publish-coverage-pr-checkout-2026-07-09

build(workflows): fix non-fast-forward push in `publish_coverage_pr`

fa75e91
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar