Coq docs

Merge pull request #17 from formal-land/guillaume-claret@add-install-… #3

Triggered via push November 25, 2024 17:40

clarus

develop

Status Success

Total duration 31s

Artifacts 1

coq-docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.15 MB	`sha256:664b990a19a65df876b72be350ae7c89a90c01d886a4c28e1637b562b04d2ed2`