Skip to content

Merge branch 'master' into bump-pygments #87

Merge branch 'master' into bump-pygments

Merge branch 'master' into bump-pygments #87

Triggered via push December 19, 2023 22:56
Status Success
Total duration 40s
Artifacts 1

draft-pdf.yml

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

Artifacts

Produced during runtime
Name Size
paper Expired
618 KB