Skip to content
.github/workflows/generate_docs.yml

convex_function generalized #1357

Sign in to view logs

convex_function generalized

convex_function generalized #1357

Triggered via pull request March 6, 2026 03:28
@mkerjeanmkerjean
opened #1887
mkerjean:convex_20260306
Status Success
Total duration 47m 20s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
46m 50s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_convex_20260306
6.82 MB
sha256:fa8aefc8752b4a2f1120b818fd301fefb5fc879c77ee24b387ffb8a373658c73