Skip to content

Allow commutative-semigroups-0.2 (closes #7377). #4057

Allow commutative-semigroups-0.2 (closes #7377).

Allow commutative-semigroups-0.2 (closes #7377). #4057

Triggered via push September 9, 2024 18:45
Status Success
Total duration 3m 0s
Artifacts

check.yml

on: push
Fit to window
Zoom out
Zoom in