Skip to content
lint

change --reload-extra-file option to get multiple files at once #308

Sign in to view logs

change --reload-extra-file option to get multiple files at once

change --reload-extra-file option to get multiple files at once #308

Triggered via push December 28, 2023 00:00
@tilgovitilgovi
pushed 7fbeb07
feature/1846/reload-extra-files-nargs
Status Success
Total duration 32s
Artifacts –

lint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in