Skip to content

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

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

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

Triggered via pull request September 24, 2025 07:14
Status Success
Total duration 1m 34s
Artifacts

dtslint.yml

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