Skip to content
.github/workflows/generate_docs.yml

easy gen, rm deprecated #1027

Sign in to view logs

easy gen, rm deprecated

easy gen, rm deprecated #1027

Triggered via pull request November 22, 2025 10:37
@affeldt-aistaffeldt-aist
opened #1773
affeldt-aist:lebesgue_integrable_20251122
Status Success
Total duration 47m 6s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
47m 3s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_lebesgue_integrable_20251122
21.7 MB
sha256:08645afd383e9a46c700f6f17d0b6d0b4d810fa53f035f857cd8e8d39ad95832