Skip to content

Conversation

@edoardopirovano
Copy link
Contributor

Addresses #774 by reading the failureDescription field for a test failure and when this is present reporting this instead of the diff. I believe this is the right choice since as I understand it when this field is present, the diff will not be useful as it means something went more catastrophically wrong (e.g. we couldn't find the expected output).

@edoardopirovano edoardopirovano force-pushed the test-failure-reporting branch from 65722f7 to 74006b2 Compare March 18, 2021 23:55
@aeisenberg aeisenberg enabled auto-merge (rebase) March 19, 2021 15:51
@aeisenberg aeisenberg merged commit 0327ec3 into github:main Mar 19, 2021
@edoardopirovano edoardopirovano deleted the test-failure-reporting branch March 19, 2021 18:29
@Marcono1234
Copy link
Contributor

Marcono1234 commented Mar 20, 2021

Thanks! Do you or should I now close #774? Or are you in general only closing issues once the changes have been released?

(@edoardopirovano in case you did not know this yet, you can use certain keywords in the pull request description to make GitHub link pull request and issue automatically.)

@edoardopirovano
Copy link
Contributor Author

edoardopirovano commented Mar 20, 2021

This is in the 1.4.4 release so I think it should be okay to close the issue (I don't have the access to do so, though). Ooh, thanks for heads up, I wasn't aware of those keywords.

@aeisenberg
Copy link
Contributor

If in your PR description, you put Fixes #XXX, then issue #XXX will be automatically closed when the PR is merged.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants