Skip to content

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

Infra: Use an option instead of argument in banner directives

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

Triggered via pull request April 28, 2024 18:33
Status Success
Total duration 36s
Artifacts

lint.yml

on: pull_request
Run pre-commit
27s
Run pre-commit
Run check-peps
7s
Run check-peps
Fit to window
Zoom out
Zoom in