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.

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

important_packages: allowed_failures batch #17757

Merged
merged 2 commits into from
Apr 20, 2021

Conversation

timotheecour
Copy link
Member

@timotheecour timotheecour commented Apr 17, 2021

follows #17301 and #17513
fixes #17513 (comment)

future work

consider turning CI success into a failure in case 1 of the allowed_failures starts working so we can remove allowed_failure = true (maybe requires distinguishing flaky failures from other failures)

@timotheecour timotheecour force-pushed the pr_important_packages_failbatch branch from e3d1a58 to 0c73a38 Compare April 19, 2021 04:03
@timotheecour timotheecour changed the title important_packages: reserve batch 0 for allowed failures important_packages: allowed_failures batch Apr 19, 2021
@Araq Araq merged commit 68e7ed9 into nim-lang:devel Apr 20, 2021
@timotheecour timotheecour deleted the pr_important_packages_failbatch branch April 20, 2021 07:16
@Clyybber
Copy link
Contributor

consider turning CI success into a failure in case 1 of the allowed_failures starts working so we can remove allowed_failure = true (maybe requires distinguishing flaky failures from other failures)

Maybe we could use the skipped or canceled states for that.

@Clyybber Clyybber mentioned this pull request Apr 20, 2021
@timotheecour timotheecour added the TODO: followup needed remove tag once fixed or tracked elsewhere label Apr 21, 2021
PMunch pushed a commit to PMunch/Nim that referenced this pull request Mar 28, 2022
* important_packages: reserve batch 0 for allowed failures

* custom batch name: allowed_failures
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
TODO: followup needed remove tag once fixed or tracked elsewhere
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants