Skip to content
Haskell-CI

[Add] Consequences of identity for monoids #2263

Sign in to view logs

[Add] Consequences of identity for monoids

[Add] Consequences of identity for monoids #2263

Triggered via pull request July 12, 2025 14:40
@JacquesCaretteJacquesCarette
synchronize #2692
jmougeot:monoid-reasoning
Status Success
Total duration 3m 3s
Artifacts –

haskell-ci.yml

on: pull_request
Matrix: linux
Fit to window
Zoom out
Zoom in