Skip to content

Use an option instead of argument in banner directives #76

Use an option instead of argument in banner directives

Use an option instead of argument in banner directives #76

Triggered via push April 28, 2024 18:23
Status Success
Total duration 40s
Artifacts

lint.yml

on: push
Run pre-commit
28s
Run pre-commit
Run check-peps
8s
Run check-peps
Fit to window
Zoom out
Zoom in