Skip to content
Back to pull request #3765

Infra: Use an option instead of argument in banner directives #6367

Sign in to view logs

Infra: Use an option instead of argument in banner directives

Infra: Use an option instead of argument in banner directives #6367

Run pre-commit

Run pre-commit
succeeded May 6, 2024 in 38s