Fix for HPCombi
#161
config-options.yml
on: pull_request
enable-debug
9m 39s
with-external-libsemigroups
8m 28s