Skip to content

Fix detection of GAP strings - #1236

Merged
james-d-mitchell merged 3 commits into
semigroups:stable-5.7from
fingolfin:mh/IS_STRING_REP
Oct 9, 2026
Merged

james-d-mitchell merged 3 commits into
semigroups:stable-5.7from
fingolfin:mh/IS_STRING_REP

Fix detection of GAP strings

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

Annotations

2 warnings and 1 notice
macOS / GAP master / 64-bit
succeeded Oct 8, 2026 in 32m 46s