Skip to content

Merge pull request #11 from mwennrich/update-deps #2

Merge pull request #11 from mwennrich/update-deps

Merge pull request #11 from mwennrich/update-deps #2

Triggered via push November 21, 2023 10:19
Status Success
Total duration 15s
Artifacts
Fit to window
Zoom out
Zoom in