Skip to content

Merge branch 'master' into bump-mypy #64

Merge branch 'master' into bump-mypy

Merge branch 'master' into bump-mypy #64

Triggered via push December 19, 2023 12:32
Status Success
Total duration 7m 1s
Artifacts 1

draft-pdf.yml

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

Artifacts

Produced during runtime
Name Size
paper Expired
618 KB