Skip to content
PHP Lints

Remove generation of coverage info #383

Sign in to view logs

Remove generation of coverage info

Remove generation of coverage info #383

Triggered via push June 10, 2024 20:02
@oschwaldoschwald
pushed f05efb9
greg/remove-unused-coverage-deps
Status Success
Total duration 35s
Artifacts –

lint.yml

on: push
PHP Lints
24s
PHP Lints
Fit to window
Zoom out
Zoom in