Skip to content
Update Coverage Badge

added check if is_dirty is already set (#215) #15

Sign in to view logs

added check if is_dirty is already set (#215)

added check if is_dirty is already set (#215) #15

Triggered via push December 10, 2025 13:13
@PaulSchweizerPaulSchweizer
pushed 490f020
master
Status Success
Total duration 3m 42s
Artifacts –

coverage_badge.yml

on: push
update-badge
3m 38s
update-badge
Fit to window
Zoom out
Zoom in