Skip to content

Rename diagnostics tool to doctor #234

Rename diagnostics tool to doctor

Rename diagnostics tool to doctor #234

Triggered via pull request August 11, 2025 21:14
Status Success
Total duration 1m 13s
Artifacts

ci.yml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in