Skip to content
.github/workflows/generate_docs.yml

Compatibility with Rocq (without coq shims) #1252

Sign in to view logs

Compatibility with Rocq (without coq shims)

Compatibility with Rocq (without coq shims) #1252

Triggered via pull request February 20, 2026 14:58
@proux01proux01
synchronize #1852
proux01:rocq
Status Failure
Total duration 1m 0s
Artifacts –

generate_docs.yml

on: pull_request
generate-artifacts
56s
generate-artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error
generate-artifacts
Process completed with exit code 20.