Disable no-name-in-module for HPCombi disabled#366

Joseph-Edwards merged 1 commit intolibsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:fix-for-hpcombi-disabledjames-d-mitchell/libsemigroups_pybind11:fix-for-hpcombi-disabledCopy head branch name to clipboard