Skip to content
.github/workflows/generate_docs.yml

Experimenting with a generic sup interface #1184

Sign in to view logs

Experimenting with a generic sup interface

Experimenting with a generic sup interface #1184

Triggered via pull request January 22, 2026 17:20
@CohenCyrilCohenCyril
opened #1830
CohenCyril:gensup
Status Success
Total duration 41m 57s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
41m 53s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_gensup
6.57 MB
sha256:330a56cf2a74dc5e03a7973fa3179ccf5ad93cabd91ddb2492e9598f02120bbe