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

Revert "Remove jl_task_stack_buffer (#54527)" #54559

Merged

Conversation

fingolfin
Copy link
Member

This reverts commit 516ab55.

Unfortunately my PR was premature and broke our CI tests. I'll
get rid of the last remaining jl_task_stack_buffer and once
that is done, will re-submit the removal PR.

This reverts commit 516ab55.

Unfortunately my PR was premature and broke our CI tests. I'll
get rid of the last remaining `jl_task_stack_buffer` and once
that is done, will re-submit the removal PR.
@fingolfin fingolfin merged commit 9e6a29c into JuliaLang:master May 23, 2024
7 checks passed
@fingolfin fingolfin deleted the mh/restore-jl_task_stack_buffer branch May 23, 2024 10:22
lazarusA pushed a commit to lazarusA/julia that referenced this pull request Jul 12, 2024
This reverts commit 516ab55.

Unfortunately my PR was premature and broke our CI tests. I'll
get rid of the last remaining `jl_task_stack_buffer` and once
that is done, will re-submit the removal PR.
fingolfin added a commit to fingolfin/julia that referenced this pull request Jan 21, 2025
This was removed previously in PR JuliaLang#54527 but had to be reverted in
PR JuliaLang#54559 as one usage remained (more by accident then by design).
This has since then been resolved.
fingolfin added a commit to fingolfin/julia that referenced this pull request Jan 21, 2025
This was removed previously in PR JuliaLang#54527 but had to be reverted in
PR JuliaLang#54559 as one usage remained (more by accident then by design).
This has since then been resolved.
d-netto pushed a commit that referenced this pull request Jan 21, 2025
This was removed previously in PR #54527 but had to be reverted in PR
#54559 as one usage remained (more by accident then by design). This has
since then been resolved.

This is also part of PR #56477 but that seems stalled right now, and in
fact merging parts of it now may make the review of it easier later
on...
@nsajko nsajko added the revert This reverts a previously merged PR. label Jan 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
revert This reverts a previously merged PR.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants