Skip to content

Merge pull request #1 from jeroenheijmans/various-suggested-changes-i… #15

Merge pull request #1 from jeroenheijmans/various-suggested-changes-i…

Merge pull request #1 from jeroenheijmans/various-suggested-changes-i… #15

Triggered via push November 11, 2023 13:29
Status Success
Total duration 1m 35s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
900 KB