Skip to content
.github/workflows/generate_docs.yml

slightly generalize fct_prodR and some other functions in functions.v #1079

Sign in to view logs

slightly generalize fct_prodR and some other functions in functions.v

slightly generalize fct_prodR and some other functions in functions.v #1079

Triggered via pull request December 12, 2025 02:10
@t6st6s
opened #1795
t6s:genfctprod
Status Success
Total duration 41m 17s
Artifacts 1

generate_docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_genfctprod
6.48 MB
sha256:adcf8a3de04496e1bc35542764a7d477487eb80f5c783cdf4bbdfd223afd88a5