Skip to content

Merge branch 'main' into humble #42

Merge branch 'main' into humble

Merge branch 'main' into humble #42

Triggered via push November 22, 2023 10:44
Status Success
Total duration 42s
Artifacts 1
Generate PDF
32s
Generate PDF
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
paper Expired
420 KB