Skip to content

Disable check project in the ghcide test suite#2397

Merged
mergify[bot] merged 7 commits into
masterfrom
disable-checkProject
Nov 29, 2021
Merged

Disable check project in the ghcide test suite#2397
mergify[bot] merged 7 commits into
masterfrom
disable-checkProject

Conversation

@pepeiborra

@pepeiborra pepeiborra commented Nov 25, 2021

Copy link
Copy Markdown
Collaborator

The checkProject setting introduces (even more) non determinism and leads to flaky tests as seen in #2153

This PR disables it in the ghcide test suite, except in the tests that explicitly exercise the setting

@pepeiborra
pepeiborra marked this pull request as ready for review November 25, 2021 18:53
This is a bit ugly, but we already do it in defaultMain

I also realized I don't really understand the HLS config options anymore.
@pepeiborra
pepeiborra requested a review from jneira November 28, 2021 00:53
@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Nov 28, 2021
@jneira

jneira commented Nov 28, 2021

Copy link
Copy Markdown
Member

Will merge as soon as #2393 is merged, thanks!

@jneira jneira left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

lgtm, hope this will improve test suite flakyness, thanks!

@jneira jneira added merge me Label to trigger pull request merge and removed merge me Label to trigger pull request merge labels Nov 28, 2021
@mergify
mergify Bot merged commit f8b612a into master Nov 29, 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.

2 participants