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.

Sign up for GitHub

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

Jump to bottom

Fix non-determinism in boot-def test #1483

Merged

mergify merged 1 commit into master from boot-def

Mar 3, 2021

Collaborator

wz1000 commented Mar 3, 2021

Earlier boot-def failed in ~1/20 runs on my machine.

After this fix, I ran the test 200 times and observed 0 failures.


          Fix non-determinism in boot-def test

f1ace23

Collaborator Author

wz1000 commented Mar 3, 2021

All ghcide tests seem to have passed in one attempt across all platforms on CI.

wz1000 requested a review from pepeiborra

March 3, 2021 12:55

pepeiborra approved these changes

View reviewed changes

pepeiborra added the merge me label

mergify bot merged commit cfbc9c5 into master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels