Skip to content

giry monad is symmetric monoidal (wip) #5011

giry monad is symmetric monoidal (wip)

giry monad is symmetric monoidal (wip) #5011

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

nix-action-master.yml

on: pull_request_target
mathcomp-bigenough
51s
mathcomp-bigenough
mathcomp-finmap
50s
mathcomp-finmap
hierarchy-builder
53s
hierarchy-builder
mathcomp-classical
3m 1s
mathcomp-classical
mathcomp-analysis-single
17m 23s
mathcomp-analysis-single
mathcomp-analysis
15m 12s
mathcomp-analysis
mathcomp-reals-stdlib
1m 29s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 55s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
15m 54s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in