Skip to content

Annotate counterexample output of potentially flaky tests #1443

Closed
@amesgen

Description

@amesgen

We sadly have various flaky tests that fail from time to time (often with multiple months in between them). Ideally we would fix them properly, but that might be a lot of work for comparatively small benefit. Simply disabling the tests is also suboptimal as most of these tests are still generally useful, even if they sometimes fail.

The goal of this ticket is to consistently annotate the counterexample output of such tickets, briefly explaining (or linking to an issue) that a failure of this test might just be flaky, and not due to any recent changes.

Examples:

This is might also be a good opportunity to make sure that these test failures actually still happen, and have not been fixed inadvertently in the mean time.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

Status

✅ Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions