giry monad is symmetric monoidal (wip) #1434
Triggered via pull request
February 27, 2026 08:18
affeldt-aist
affeldt-aist
synchronize
#1861
Status
Success
Total duration
29m 57s
Artifacts
–
nix-action-9.0.yml
on: pull_request_target
rocq-core
49s
mathcomp-analysis-single
14m 7s
ssprove
6m 32s
mathcomp-infotheo
7m 26s