Skip to content

Merge branch 'main' into Hendrik #18

Merge branch 'main' into Hendrik

Merge branch 'main' into Hendrik #18

Triggered via push October 21, 2024 13:19
Status Failure
Total duration 22s
Artifacts

ghpages.yml

on: push
Update Editor's Copy
12s
Update Editor's Copy
Fit to window
Zoom out
Zoom in