Skip to content
continuous integration

chore: build PDFs on each change #28

Sign in to view logs

chore: build PDFs on each change

chore: build PDFs on each change #28

Triggered via push January 3, 2024 23:01
@david-christiansendavid-christiansen
pushed dd52495
main
Status Success
Total duration 2m 42s
Artifacts 1

ci.yml

on: push
test
2m 31s
test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
LeanDoc manual Expired
69 KB