Skip to content

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

Infra: Use an option instead of argument in banner directives

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

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

lint.yml

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