Skip to content
.github/workflows/generate_docs.yml

derive_mx #1181

Sign in to view logs

derive_mx

derive_mx #1181

Triggered via pull request January 21, 2026 15:18
@affeldt-aistaffeldt-aist
opened #1829
affeldt-aist:robot_rocq_20260122
Status Success
Total duration 41m 21s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
41m 16s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_robot_rocq_20260122
6.58 MB
sha256:9273a04da4cdec6541b924c5ea9ffbf59746299afdbd30d9bf5da06901c4d9fe