Closed fingolfin closed 2 years ago
One thing this reveals is that a bunch of package tests "fail" because... there are no package tests, i.e., no TestFile
in PackageInfo.g
. E.g. this is the case for corelg
(although I just made a new release correcting this) or also Browse
, Gauss
, GAPDoc
, modules
, ...
On the up side, some failing tests are already fixed, e.g. ace
has a newer release fixing the failure reported here
I am running tests with this PR now on https://github.com/fingolfin/integration/runs/5312038408?check_suite_focus=true
Resolves #1 Resolves #6