Skip to content
.github/workflows/generate_docs.yml

derive_mx #1349

Sign in to view logs

derive_mx

derive_mx #1349

Triggered via pull request March 6, 2026 00:02
@affeldt-aistaffeldt-aist
synchronize #1829
affeldt-aist:robot_rocq_20260122
Status Success
Total duration 48m 31s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
48m 27s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_robot_rocq_20260122
6.93 MB
sha256:0a3b35f000ff1b58c6a7f59f4d8f593e678923be77942114a4aa36446a2818a4