mhs-ci

Relax constraints on Semigroup and Monoid instances #16

Sign in to view logs

Triggered via pull request November 29, 2025 06:23

sjakobi

opened #564

sjakobi/relax-semigroup

Status Success

Total duration 2m 54s

Artifacts –

mhs-ci.yml

on: pull_request

build-mhs-pretty