Skip to content
.github/workflows/generate_docs.yml

giry monad is symmetric monoidal (wip) #1285

Sign in to view logs

giry monad is symmetric monoidal (wip)

giry monad is symmetric monoidal (wip) #1285

Triggered via pull request February 27, 2026 08:18
@affeldt-aistaffeldt-aist
synchronize #1861
affeldt-aist:giry_20260226
Status Success
Total duration 44m 31s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
44m 27s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_giry_20260226
6.8 MB
sha256:b08cd0d25893f653977af264b0671eeed8e3c43f08dec809f172715df74be28c