Coq docs

Merge pull request #16 from formal-land/guillaume-claret@add-local-do… #2

Triggered via push November 25, 2024 15:29

clarus

develop

Status Success

Total duration 32s

Artifacts 1

coq-docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.14 MB	`sha256:55ea2471dbbdde92e31211a0d0b795948d0f57b69ab9ca357ad7b96330833a2b`