Skip to content

Conversation

@pepeiborra
Copy link
Collaborator

@pepeiborra pepeiborra commented Aug 29, 2021

Might fix #2115

Copy link
Member

@jneira jneira left a comment

Choose a reason for hiding this comment

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

Many thanks to fix this disturbing flaky test

@jneira jneira added the merge me Label to trigger pull request merge label Sep 1, 2021
@jneira jneira added merge me Label to trigger pull request merge and removed merge me Label to trigger pull request merge labels Sep 2, 2021
@jneira
Copy link
Member

jneira commented Sep 2, 2021

@Mergifyio refresh

@mergify
Copy link
Contributor

mergify bot commented Sep 2, 2021

Command refresh: success

Pull request refreshed

@mergify mergify bot merged commit c914c35 into master Sep 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge me Label to trigger pull request merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Flaky GHCIDE test: Timestamps do not have millisecond (ignored for now)

2 participants