Skip to content

Merge pull request #7 from johanneswuerbach/lint #23

Merge pull request #7 from johanneswuerbach/lint

Merge pull request #7 from johanneswuerbach/lint #23

Triggered via push December 22, 2023 14:20
Status Success
Total duration 1m 27s
Artifacts

ci.yaml

on: push
Fit to window
Zoom out
Zoom in