Skip to content
.github/workflows/generate_docs.yml

Doc: make html does not include dependency libraries #1054

Sign in to view logs

Doc: make html does not include dependency libraries

Doc: make html does not include dependency libraries #1054

Triggered via pull request November 26, 2025 06:38
@yoshihiro503yoshihiro503
synchronize #1778
proof-ninja:yoshihiro503@htmldoc-does-not-include-other-library
Status Success
Total duration 38m 57s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
38m 52s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_yoshihiro503@htmldoc-does-not-include-other-library
5.74 MB
sha256:47e1b16490f262708799e7a98d4b3eacd3104d1b10ca60d715d3dfb42bad8321