Skip to content
lint

Add the --notool option, to avoid errors when tools are not available #177

Sign in to view logs

Add the --notool option, to avoid errors when tools are not available

Add the --notool option, to avoid errors when tools are not available #177

Triggered via push September 7, 2024 17:24
@rodrigomelo9rodrigomelo9
pushed 1a0ff91
ci-win
Status Success
Total duration 17s
Artifacts –

lint.yml

on: push
lint
8s
lint
Fit to window
Zoom out
Zoom in