Coq docs

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

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Re-run triggered November 25, 2024 15:28

clarus

develop

Status Failure

Total duration 28s

Artifacts –

coq-docs.yml

on: push

Annotations

1 error

Process completed with exit code 2.