Skip to content
.github/workflows/generate_docs.yml

derive_mx #1284

Sign in to view logs

derive_mx

derive_mx #1284

Triggered via pull request February 27, 2026 01:02
@affeldt-aistaffeldt-aist
synchronize #1829
affeldt-aist:robot_rocq_20260122
Status Success
Total duration 44m 33s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
44m 29s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_robot_rocq_20260122
6.79 MB
sha256:2598f8b26827ee4a12970c3a9224baf8bb5eed5792f0246d07ffab146dfdf2d6