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

kgryte merged 1 commit into

developstdlib-js/stdlib:developfrom

philipp/ci-fix-publish-coverage-pr-checkout-2026-07-09stdlib-js/stdlib:philipp/ci-fix-publish-coverage-pr-checkout-2026-07-09Copy head branch name to clipboard