DOC

Enable compilation without the coq shim on Rocq 9.0 #1524

Sign in to view logs

Summary
Jobs
- Build doc
Run details
- Usage
- Workflow file

Triggered via pull request February 11, 2025 10:48

proux01

synchronize #771

proux01:rocq

Status Failure

Total duration 7m 19s

Artifacts –

doc.yml

on: pull_request

Annotations

1 error

Process completed with exit code 2.