Skip to content
.github/workflows/generate_docs.yml

Adapt to https://github.com/rocq-prover/rocq/pull/21611 (#1851) #1248

Sign in to view logs

Adapt to https://github.com/rocq-prover/rocq/pull/21611 (#1851)

Adapt to https://github.com/rocq-prover/rocq/pull/21611 (#1851) #1248

Triggered via push February 18, 2026 13:30
@proux01proux01
pushed 9540364
master
Status Success
Total duration 47m 17s
Artifacts 1

generate_docs.yml

on: push
generate-artifacts
47m 13s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_9540364
6.84 MB
sha256:11f4d5e2308fc00bc8741d14078ed9dcddc9bf3483a5773f35ecfa2381f71f42