8000 Merge branch 'dev' · jbferet/prospect@1dd155f · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Merge branch 'dev'

Merge branch 'dev' #76

Triggered via push February 7, 2025 06:21
Status Success
Total duration 53s
Artifacts 1

draft-pdf.yml

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

Artifacts

Produced during runtime
Name Size Digest
paper Expired
714 KB
sha256:de8657b9ba3a9e55c96880684fd1cde21de796b564d1bbc5b43ad485fe4466c1
0