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.

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 flakey CertifyingAndWithdrawingPlutus test with longer waits for Linux #477

Merged
merged 1 commit into from
May 24, 2022
Merged

Fix flakey CertifyingAndWithdrawingPlutus test with longer waits for Linux #477

merged 1 commit into from
May 24, 2022

Conversation

catch-21
Copy link
Contributor

@catch-21 catch-21 commented May 24, 2022 •
edited
Loading

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Relevant tickets are mentioned in commit messages
    • Formatting, materialized Nix files, PNG optimization, etc. are updated
  • PR
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

@catch-21 catch-21 force-pushed the cert-withdraw-flakey-test branch 6 times, most recently from 77fb3af to 523f07d Compare May 24, 2022 13:33
@catch-21 catch-21 marked this pull request as ready for review May 24, 2022 14:36
@catch-21 catch-21 changed the title Try running flakey CertifyingAndWithdrawingPlutus with longer waits Fix flakey CertifyingAndWithdrawingPlutus test with longer waits for Linux May 24, 2022
@catch-21 catch-21 merged commit 4792047 into main May 24, 2022
@catch-21 catch-21 deleted the cert-withdraw-flakey-test branch May 24, 2022 16:21
koslambrou pushed a commit that referenced this pull request Jun 22, 2022
@catch-21 @koslambrou
Fix flakey CertifyingAndWithdrawingPlutus test with longer waits for …
3988654 
…Linux (#477)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sjoerdvisscher sjoerdvisscher sjoerdvisscher approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@catch-21 @sjoerdvisscher