config: permit `--reload-extra-files` without `--reload` #513

Sign in to view logs

Triggered via pull request August 13, 2024 20:31

pajod

opened #3271

pajod:patch-reload-extra

Status Success

Total duration 42s

Artifacts –

lint.yml

on: pull_request

Matrix: lint