Fix for HPCombi
#165
config-options.yml
on: pull_request
enable-debug
5m 19s
with-external-libsemigroups
4m 42s