Update and rename coq.yaml to coq.yml #11

Triggered via push February 17, 2025 18:30

afflom

main

Status Success

Total duration 7m 51s

Artifacts 1

latex.yml

on: push

Produced during runtime

Name	Size
latex-pdfs	674 KB