Skip to content
.github/workflows/generate_docs.yml

Adapt to https://github.com/rocq-prover/rocq/pull/21611 #1246

Sign in to view logs

Adapt to https://github.com/rocq-prover/rocq/pull/21611

Adapt to https://github.com/rocq-prover/rocq/pull/21611 #1246

Triggered via pull request February 18, 2026 10:42
@proux01proux01
opened #1851
proux01:rocq21611
Status Success
Total duration 49m 57s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
49m 53s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_rocq21611
6.84 MB
sha256:1c7e2d1e110984dc89d745a927734c9875eeb32b9330104956a8380de3da3042