Closed fingolfin closed 2 years ago
Yes, we kept this atlas group test in the 4.10.0 documentation for demonstration purposes only. So it is not crucial and if it causes a problem it could be taken out.
You could just turn it from an <Example>
into a <Log>
then it won't be included in the tests. Or else just add LoadPackage("atlasrep");
to the start of your tst/testall.g
.
I'm for adding LoadPackage("atlasrep");
call.
Okay. Go ahead @alex-konovalov let's load the package then. Can you take care of it?
@drallenherman yes, I wil!
Still here e.g. https://travis-ci.org/github/gap-infra/gap-docker-pkg-tests-master/jobs/714790646 - should do in August.
It looks as if perhaps testinstall.g needs
LoadPackage("atlasrep")
?Full log is available at https://travis-ci.org/github/gap-infra/gap-docker-pkg-tests-master/jobs/710776137