Skip to content

Doc: make html display the tag name instead of the commit hash. (#1… #1212

Doc: make html display the tag name instead of the commit hash. (#1…

Doc: make html display the tag name instead of the commit hash. (#1… #1212

Triggered via push February 5, 2026 07:42
Status Success
Total duration 41m 49s
Artifacts 1
generate-artifacts
41m 46s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_418341c
6.56 MB
sha256:1e997a22bd194f833e487d265b11ab590d8b2b7d519118125c9153422594826f