Fix inherited Reporter methods on Runner subclasses - #501

Fix inherited Reporter methods on Runner subclasses#501

james-d-mitchell merged 1 commit into

mainlibsemigroups/libsemigroups_pybind11:mainfrom

codex/fix-447-reporter-castslibsemigroups/libsemigroups_pybind11:codex/fix-447-reporter-castsCopy head branch name to clipboard