Skip to content

ci: clean up coverage reporting #480

ci: clean up coverage reporting

ci: clean up coverage reporting #480

Triggered via pull request October 15, 2025 23:12
Status Success
Total duration 8s
Artifacts

check-pr.yml

on: pull_request
Triage: Check PR title, milestone, and labels
4s
Triage: Check PR title, milestone, and labels
Fit to window
Zoom out
Zoom in