Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adjust TestPackage to return info about test result #3711

Merged
merged 1 commit into from
Oct 23, 2019

Conversation

fingolfin
Copy link
Member

... at least where possible; the value true indicates success, false means
that tests were run but failed, and fail that there was an error, e.g. no
tests were found or it was not possible tor run them.

This contains code which is contained in several repositories under https://github.com/gap-infra/ such as here: https://github.com/gap-infra/gap-docker-pkg-tests-master-devel/blob/master/ci.g

We could backport this to stable-4.11 -- or are there concerns about that?

lib/test.gi Outdated Show resolved Hide resolved
... at least where possible; the value `true` indicates success, `false` means
that tests were run but failed, and `fail` that there was an error, e.g. no
tests were found or it was not possible tor run them.
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.002%) to 84.506% when pulling 2a075af on fingolfin:mh/TestPackage into fe70aa2 on gap-system:master.

Copy link
Member

@olexandr-konovalov olexandr-konovalov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, then we may drop TestOnePackage from https://github.com/gap-infra/gap-docker-pkg-tests-master-devel/blob/master/ci.g. Agree to backport to 4.11.

@fingolfin fingolfin merged commit fdd2e90 into gap-system:master Oct 23, 2019
@fingolfin fingolfin deleted the mh/TestPackage branch October 27, 2019 22:31
@fingolfin
Copy link
Member Author

Backported to stable-4.11 in 0f9cef2

@fingolfin fingolfin added the release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes label Nov 28, 2019
@fingolfin fingolfin added release notes: added PRs introducing changes that have since been mentioned in the release notes and removed release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes labels Dec 5, 2019
@olexandr-konovalov olexandr-konovalov added this to the GAP 4.11.0 milestone Feb 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-to-4.11-DONE release notes: added PRs introducing changes that have since been mentioned in the release notes topic: library topic: tests issues or PRs related to tests
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants