Skip to content

Cherry-pick changes from main into stable-1.4 - #414

Merged
james-d-mitchell merged 5 commits into
libsemigroups:stable-1.4from
james-d-mitchell:stable-1.4
Apr 11, 2026
Merged

Cherry-pick changes from main into stable-1.4#414
james-d-mitchell merged 5 commits into
libsemigroups:stable-1.4from
james-d-mitchell:stable-1.4

cong: fix tests for upstream changes

aa254ea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.