Skip to content
lint

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

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 #309

Triggered via pull request December 28, 2023 00:00
@tilgovitilgovi
synchronize #3124
feature/1846/reload-extra-files-nargs
Status Success
Total duration 36s
Artifacts –

lint.yml

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