Fix for HPCombi
#170
config-options.yml
on: pull_request
enable-debug
8m 1s
with-external-libsemigroups
7m 58s