Skip to content

ci: fix coverage not launched on merge #28

ci: fix coverage not launched on merge

ci: fix coverage not launched on merge #28

Triggered via push September 6, 2024 20:26
Status Success
Total duration 24s
Artifacts
action-lint
11s
action-lint
Fit to window
Zoom out
Zoom in