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

tests/RunTests.hs: fix failure tests #1115

Merged
merged 1 commit into from
Oct 7, 2019
Merged

Conversation

Profpatsch
Copy link
Contributor

Problem description by Andreas Herrmann:

run-tests -m '/failures/' doesn't seem to be working as expected.
The test should attempt to build all targets under
//tests/failures/... that are marked with the manual tag and expect
them to fail. However, if I add the manual tag to a suceeding target
e.g. //tests/failures/transitive-deps:lib-c, then the overall test
still suceeds.

Manually tested via description that a succeeding test now actually
fails.

Fixes #943

@Profpatsch Profpatsch requested a review from aherrmann October 7, 2019 12:13
Copy link
Member

@mboes mboes left a comment

Choose a reason for hiding this comment

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

🤦‍♂️

@mboes mboes added the merge-queue merge on green CI label Oct 7, 2019
Problem description by Andreas Herrmann:
> run-tests -m '/failures/' doesn't seem to be working as expected.
> The test should attempt to build all targets under
> //tests/failures/... that are marked with the manual tag and expect
> them to fail. However, if I add the manual tag to a suceeding target
> e.g. //tests/failures/transitive-deps:lib-c, then the overall test
> still suceeds.

Manually tested via description that a succeeding test now actually
fails.

Fixes #943
@jwiegley jwiegley force-pushed the tests-run-tests-fix-failures branch from 953f710 to 8a3d3e2 Compare October 7, 2019 12:50
@mergify mergify bot merged commit de310da into master Oct 7, 2019
@mergify mergify bot deleted the tests-run-tests-fix-failures branch October 7, 2019 13:18
@mergify mergify bot removed the merge-queue merge on green CI label Oct 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

//tests/failures seems broken
2 participants