Skip to content
.github/workflows/generate_docs.yml

Doc: make html display the tag name instead of the commit hash. #1209

Sign in to view logs

Doc: make html display the tag name instead of the commit hash.

Doc: make html display the tag name instead of the commit hash. #1209

Triggered via pull request February 4, 2026 04:41
@yoshihiro503yoshihiro503
opened #1835
yoshihiro503:patch-1
Status Success
Total duration 42m 11s
Artifacts 1

generate_docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_patch-1
6.56 MB
sha256:c3eb8068cb4c208efc670812fc941bd3d8f9974b116869ce3c1ee9fb0411f448