Skip to content

ci: measure coverage and publish badge to gist - #4

Merged
dzmitry-duboyski merged 1 commit into
mainfrom
ci/coverage
Sep 20, 2026
Merged

dzmitry-duboyski merged 1 commit into
mainfrom
ci/coverage

ci: measure coverage and publish badge to gist

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

Annotations

1 warning and 1 notice
lint
succeeded Sep 20, 2026 in 20s