Haskell-CI

[ add ] left- and right- actions induced by a `Magma` homomorphism #2549

Sign in to view logs

Triggered via pull request November 25, 2025 11:10

synchronize #2894

jamesmckinna:magma-morphism-actions

Status Success

Total duration 3m 48s

Artifacts –

haskell-ci.yml

on: pull_request

Matrix: linux