Skip to content

Update coq.yml

Update coq.yml #13

Triggered via push February 17, 2025 18:35
Status Success
Total duration 6m 9s
Artifacts 1

latex.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
latex-pdfs
674 KB