Skip to content

Merge pull request #40 from dklein-pik/master #94

Merge pull request #40 from dklein-pik/master

Merge pull request #40 from dklein-pik/master #94

Triggered via push December 20, 2023 09:18
Status Success
Total duration 6m 56s
Artifacts

check.yaml

on: push
Fit to window
Zoom out
Zoom in