Skip to content

minor simplification #1065

minor simplification

minor simplification #1065

Triggered via pull request December 3, 2025 14:17
Status Success
Total duration 37m 37s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
37m 33s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_lebesgue_20251203 Expired
5.77 MB
sha256:9303d1cb8d8d81b39250a1b5cc424cc1fa2b8843a104f88dc72fdbeb1baa805a