Skip to content

Merge branch 'maint/ruff' into 'main' #21

Merge branch 'maint/ruff' into 'main'

Merge branch 'maint/ruff' into 'main' #21

Triggered via push December 4, 2023 16:59
Status Success
Total duration 2m 14s
Artifacts

lint.yaml

on: push
Fit to window
Zoom out
Zoom in