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

fix: correctly cancel failed builds #8062

Merged
merged 1 commit into from
Jun 28, 2023

Conversation

rgrinberg
Copy link
Member

Signed-off-by: Rudi Grinberg me@rgrinberg.com

@rgrinberg rgrinberg force-pushed the ps/rr/fix__correctly_cancel_failed_builds branch from d69a6ec to 6fb6df2 Compare June 27, 2023 13:21
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

<!-- ps-id: df0b278a-9093-4e90-bb02-616b5243fc8d -->
@rgrinberg rgrinberg force-pushed the ps/rr/fix__correctly_cancel_failed_builds branch from 6fb6df2 to 94f1ea3 Compare June 27, 2023 13:23
@dkalinichenko-js
Copy link
Collaborator

Just tested internally, the fix works.

@rgrinberg
Copy link
Member Author

@emillon this is a good candidate for 3.8.3 as well

@emillon
Copy link
Collaborator

emillon commented Jun 27, 2023

3.8.3 has already been released, unfortunately: ocaml/opam-repository#24007

@rgrinberg
Copy link
Member Author

rgrinberg commented Jun 27, 2023 via email

@emillon
Copy link
Collaborator

emillon commented Jun 27, 2023

Definitely 3.8.4 if there's one, but I hope 3.9.0 (tomorrow) will be a painless upgrade so this will be a good way to deliver this fix. If it's difficult to release or has regressions that would warrant a 3.8.4.

Copy link
Collaborator

@snowleopard snowleopard left a comment

Choose a reason for hiding this comment

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

Thanks! This fixes the problem on our end.

@snowleopard
Copy link
Collaborator

Just to say, I think this bug fix is pretty important: the watch mode was basically unusable without it for us internally.

@rgrinberg
Copy link
Member Author

Turns out that the buggy commit never made it into any released versions. So there's no need for any bug fix releases.

@rgrinberg rgrinberg merged commit 95071a3 into main Jun 28, 2023
21 checks passed
@rgrinberg rgrinberg deleted the ps/rr/fix__correctly_cancel_failed_builds branch June 28, 2023 07:00
rgrinberg added a commit to Leonidas-from-XIV/dune that referenced this pull request Jun 28, 2023
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
@emillon
Copy link
Collaborator

emillon commented Jun 28, 2023

that's a relief. thanks

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.

None yet

4 participants