Skip to content
Compile and Publish LaTeX

Update coq.yml #19

Sign in to view logs

Update coq.yml

Update coq.yml #19

Triggered via push February 17, 2025 20:14
@afflomafflom
pushed 5bde5a9
main
Status Success
Total duration 6m 35s
Artifacts 1

latex.yml

on: push
build
6m 26s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
latex-pdfs
674 KB