search

semigroups / Semigroups

The GAP package Semigroups
https://semigroups.github.io/Semigroups/
Other
23 stars 36 forks source link

Setup `valgrind` CI job for release candidates #953

Open james-d-mitchell opened 1 year ago

james-d-mitchell commented 1 year ago

As the title says.