Skip to content
Update Coverage Badge

ci: fix coverage badge and drop coverage comments on PRs (#203) #1

Sign in to view logs

ci: fix coverage badge and drop coverage comments on PRs (#203)

ci: fix coverage badge and drop coverage comments on PRs (#203) #1

Triggered via push October 15, 2025 08:20
@PaulSchweizerPaulSchweizer
pushed ba22667
master
Status Success
Total duration 36s
Artifacts –

coverage_badge.yml

on: push
update-badge
28s
update-badge
Fit to window
Zoom out
Zoom in