Skip to content
.github/workflows/generate_docs.yml

derive_mx #1348

Sign in to view logs

derive_mx

derive_mx #1348

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

generate_docs.yml

on: pull_request
generate-artifacts
44m 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:cd67a7c762be05bc0ba3bf8eba6d77d3ca721bffc01fadb481ef58fa6ed7e0dd