Skip to content

Merge branch 'master' into simpler-inputs #510

Merge branch 'master' into simpler-inputs

Merge branch 'master' into simpler-inputs #510

Triggered via push July 6, 2023 22:25
Status Success
Total duration 1m 3s
Artifacts 1

draft-pdf.yml

on: push
Paper Draft
54s
Paper Draft
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
paper Expired
2.39 MB