Skip to content

gendoc.sh: add small coqdoc helper #425

gendoc.sh: add small coqdoc helper

gendoc.sh: add small coqdoc helper #425

Triggered via push October 12, 2024 12:01
Status Success
Total duration 2m 35s
Artifacts

coq-action.yml

on: push
Fit to window
Zoom out
Zoom in