Add read-only permission to workflows#401

james-d-mitchell merged 1 commit intolibsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

Joseph-Edwards:securityJoseph-Edwards/libsemigroups_pybind11:securityCopy head branch name to clipboard