Run PR and main tests against the latest released GAP version, too#1039

fingolfin wants to merge 2 commits intomaingap-system/PackageDistro:mainfrom

mh/test-4.13.1gap-system/PackageDistro:mh/test-4.13.1Copy head branch name to clipboard