-
Notifications
You must be signed in to change notification settings - Fork 211
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
Further prevent flakiness of LoggingSpec properties #2580
Conversation
We previously ensured each test had its own ctx to prevent interference. But in these property tests it doesn't matter. Let's use withMaxSuccess 1 as a quick workaround - which should still be acceptable.
This reverts commit 321678f321fceca46960b59ebe5b96efcba27224 and 337f742.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Instead of limiting the property to 1 example (fine, but not nice from a flakiness perspective), we could (a) remove the use of QuickCheck here (see reverted commit), or (b) run a new server for each property example (see latest commit).
Fine, that works too 😸 — thanks |
2580: Use withMaxSuccess 1 in LoggingSpec properties r=Anviking a=Anviking # Issue Number #2368 # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Use `withMaxSuccess 1` to ensure each `ctx` is only used for one test. # Comments - Quick and I believe fine workaround for #2573 (review) <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io> Co-authored-by: Rodney Lorrimar <rodney.lorrimar@iohk.io>
Build failed:
|
bors r+ |
2580: Further prevent flakiness of LoggingSpec properties r=Anviking a=Anviking # Issue Number #2368 # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Use `withMaxSuccess 1` to ensure each `ctx` is only used for one test. # Comments - Quick and I believe fine workaround for #2573 (review) <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io> Co-authored-by: Rodney Lorrimar <rodney.lorrimar@iohk.io>
Build failed:
|
bors r+ |
2580: Further prevent flakiness of LoggingSpec properties r=Anviking a=Anviking # Issue Number #2368 # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Use `withMaxSuccess 1` to ensure each `ctx` is only used for one test. # Comments - Quick and I believe fine workaround for #2573 (review) <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io> Co-authored-by: Rodney Lorrimar <rodney.lorrimar@iohk.io>
Build failed:
|
bors r+ |
2580: Further prevent flakiness of LoggingSpec properties r=Anviking a=Anviking # Issue Number #2368 # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Use `withMaxSuccess 1` to ensure each `ctx` is only used for one test. # Comments - Quick and I believe fine workaround for #2573 (review) <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io> Co-authored-by: Rodney Lorrimar <rodney.lorrimar@iohk.io>
Build failed:
|
bors r+ |
2580: Further prevent flakiness of LoggingSpec properties r=Anviking a=Anviking # Issue Number #2368 # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Use `withMaxSuccess 1` to ensure each `ctx` is only used for one test. # Comments - Quick and I believe fine workaround for #2573 (review) <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io> Co-authored-by: Rodney Lorrimar <rodney.lorrimar@iohk.io>
Build failed: |
bors r+ |
2580: Further prevent flakiness of LoggingSpec properties r=Anviking a=Anviking # Issue Number #2368 # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Use `withMaxSuccess 1` to ensure each `ctx` is only used for one test. # Comments - Quick and I believe fine workaround for #2573 (review) <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io> Co-authored-by: Rodney Lorrimar <rodney.lorrimar@iohk.io>
Build failed: |
bors r+ |
2580: Further prevent flakiness of LoggingSpec properties r=Anviking a=Anviking # Issue Number #2368 # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Use `withMaxSuccess 1` to ensure each `ctx` is only used for one test. # Comments - Quick and I believe fine workaround for #2573 (review) <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io> Co-authored-by: Rodney Lorrimar <rodney.lorrimar@iohk.io>
Build failed: |
bors r+ Pls |
Build succeeded: |
Issue Number
#2368
Overview
withMaxSuccess 1
to ensure eachctx
is only used for one test.Comments