Skip to content

[ draft ] Alternative design for sub- and quotient- (Abelian)Groups #2502

[ draft ] Alternative design for sub- and quotient- (Abelian)Groups

[ draft ] Alternative design for sub- and quotient- (Abelian)Groups #2502

Triggered via pull request November 9, 2025 22:17
Status Success
Total duration 2m 32s
Artifacts

haskell-ci.yml

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