DOC

Enable compilation without the coq shim on Rocq 9.0 #1512

Sign in to view logs

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

Triggered via pull request February 7, 2025 15:46

proux01

opened #771

proux01:rocq

Status Failure

Total duration 7m 10s

Artifacts –

doc.yml

on: pull_request

Annotations

1 error

Process completed with exit code 31.