Skip to content

Merge branch 'maint/changelog' into 'main' #33

Merge branch 'maint/changelog' into 'main'

Merge branch 'maint/changelog' into 'main' #33

Triggered via push December 18, 2023 10:22
Status Success
Total duration 21s
Artifacts

lint.yaml

on: push
pre-commit
10s
pre-commit
Fit to window
Zoom out
Zoom in