Skip to content

Merge branch 'ci/github/release-workflow' into 'main' #10

Merge branch 'ci/github/release-workflow' into 'main'

Merge branch 'ci/github/release-workflow' into 'main' #10

Triggered via push November 28, 2023 11:22
Status Success
Total duration 32s
Artifacts

lint.yaml

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