Skip to content
.github/workflows/generate_docs.yml

Started implementation of Giry monad #1042

Sign in to view logs

Started implementation of Giry monad

Started implementation of Giry monad #1042

Re-run triggered November 24, 2025 14:27
@affeldt-aistaffeldt-aist
#1608
alejandroag:giry-impl
Status Success
Total duration 48m 32s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
48m 24s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_giry-impl
21.7 MB
sha256:548eedd48a949c2c287dfbad3ecd42db538213252421724046615c048ae35980