search

gap-infra / integration

A repository for hosting GitHub Actions based GAP-package integration tests
1 stars 4 forks source link

Several failing packages don't seem to run tests at all; end with `cat: 'dev/log/testpackage1*.corelg': No such file or directory` #6

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

See e.g. this log which ends with

cat: 'dev/log/testpackage1*.corelg': No such file or directory

Presumably because make testpackage PKGNAME=$PKG_NAME is used (see also #1 -- we shouldn't do this anymore) and fails to produce something. We can't see why, though. Perhaps some dependency is missing / was not compiled?

I suspect this will become easy to deal with once we resolved #1. Seems I always circle back to that :-)

wilfwilson commented 2 years ago

This issue may be related to https://github.com/gap-packages/gap-packages.github.io/issues/9

olexandr-konovalov commented 2 years ago

That issue wrongly marks CoReLG tests as done, but they are not: they have tests in tst to please the CI, but they don't have their default test specified in PackageInfo.g, what is expected by make testpackages and make testpackage PKGNAME=$PKG_NAME.

I've unchecked that tickbox there.

fingolfin commented 2 years ago

@alex-konovalov no, corelg does not specify a TestFile (the latest version does, though) and hence passes all its tests (see issue #10)

fingolfin commented 2 years ago

Anyway, we are not using make testpackage(s) anymore which resolved a number of problems :-)