Skip to content

Use an option instead of argument in banner directives #77

Use an option instead of argument in banner directives

Use an option instead of argument in banner directives #77

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

lint.yml

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