Skip to content

Revert "Remove "scheduling" leftovers"#2935

Merged
ccasin merged 1 commit intomainfrom
revert-2857-remove-scheduling-leftovers
Aug 16, 2024
Merged

Revert "Remove "scheduling" leftovers"#2935
ccasin merged 1 commit intomainfrom
revert-2857-remove-scheduling-leftovers

Conversation

@ccasin
Copy link
Copy Markdown
Collaborator

@ccasin ccasin commented Aug 16, 2024

Reverts #2857

Per discussion, this is needed for the minus-21 compiler roll due to use of -stop-after scheduling. I will also make a microbranch adding this PR on top of the previous minus-21 tag and retag it.

@ncik-roberts ncik-roberts self-requested a review August 16, 2024 17:21
@ccasin ccasin merged commit e7b0815 into main Aug 16, 2024
@ccasin ccasin deleted the revert-2857-remove-scheduling-leftovers branch August 16, 2024 18:00
lukemaurer pushed a commit to lukemaurer/flambda-backend that referenced this pull request Oct 23, 2024
Revert "Remove "scheduling" leftovers (oxcaml#2857)"

This reverts commit ef78547.
@xclerc xclerc mentioned this pull request Jan 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants