Skip to content

Name the branch in the coverage badge URL, or it reads "unknown" - #18

Open
rt87 wants to merge 1 commit into
mainfrom
ci_pin-the-coverage-badge-to-main
Open

Name the branch in the coverage badge URL, or it reads "unknown"#18
rt87 wants to merge 1 commit into
mainfrom
ci_pin-the-coverage-badge-to-main

Name the branch in the coverage badge URL, or it reads "unknown"

24de60e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
lint and types
succeeded Oct 22, 2026 in 13s