Skip to content
.github/workflows/generate_docs.yml

Document Rstruct.v #1217

Sign in to view logs

Document Rstruct.v

Document Rstruct.v #1217

Triggered via pull request February 5, 2026 18:45
@affeldt-aistaffeldt-aist
synchronize #1828
proux01:doc-Rstruct
Status Success
Total duration 41m 47s
Artifacts 1

generate_docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_doc-Rstruct
6.56 MB
sha256:82482cce76eb88550f65782bc04bd3f0a4c4ffd18a67536e61851d7d5b396605