Skip to content

Update reports.md: use "reporter" option instead of CLI #4816

Update reports.md: use "reporter" option instead of CLI

Update reports.md: use "reporter" option instead of CLI #4816

Triggered via pull request October 6, 2025 08:09
Status Success
Total duration 1m 33s
Artifacts

dtslint.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in