Skip to content
Lint

merge: Merge branch 'main' into remove-unstyled-ports #161

Sign in to view logs

merge: Merge branch 'main' into remove-unstyled-ports

merge: Merge branch 'main' into remove-unstyled-ports #161

Triggered via push October 20, 2023 09:40
@ewuergerewuerger
pushed ad04552
remove-unstyled-ports
Status Success
Total duration 56s
Artifacts –

lint.yml

on: push
pre-commit
47s
pre-commit
pylint
20s
pylint
Fit to window
Zoom out
Zoom in