Skip to content

Merge branch 'main' into humble #40

Merge branch 'main' into humble

Merge branch 'main' into humble #40

Triggered via push November 21, 2023 14:01
Status Success
Total duration 48s
Artifacts 1
Generate PDF
36s
Generate PDF
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
paper Expired
210 KB