Skip to content

Merge branch 'develop' #72

Merge branch 'develop'

Merge branch 'develop' #72

Triggered via push November 29, 2023 12:20
Status Success
Total duration 46s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
120 KB