Haskell-CI

Normal subgroups and quotient groups #2506

Sign in to view logs

Triggered via pull request November 10, 2025 10:32

Taneb

synchronize #2854

quotient-groups

Status Success

Total duration 3m 5s

Artifacts –

haskell-ci.yml

on: pull_request

Matrix: linux