Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Bugfixes in the thread scheduling API #2268

Merged
merged 5 commits into from
Apr 29, 2024
Merged

Bugfixes in the thread scheduling API #2268

merged 5 commits into from
Apr 29, 2024

Conversation

erlingrj
Copy link
Collaborator

@erlingrj erlingrj commented Apr 26, 2024 •
edited
Loading

I will wait until lf-lang/reactor-c#415 is merged

@erlingrj erlingrj added the c Related to C target label Apr 26, 2024
@erlingrj erlingrj marked this pull request as draft April 26, 2024 17:46
@lhstrh lhstrh changed the title Bump reactor-c Bugfixes in the thread scheduling API Apr 26, 2024
@lhstrh lhstrh added the bugfix label Apr 26, 2024
lhstrh
lhstrh approved these changes Apr 29, 2024
View reviewed changes
Copy link
Member

@lhstrh lhstrh left a comment

Choose a reason for hiding this comment

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

Happy to have this merged, but there's still a merge conflict that needs to be resolved.

@lhstrh lhstrh marked this pull request as ready for review April 29, 2024 19:31
@erlingrj
Copy link
Collaborator Author

Yes, and there are also issues with a federated test, but this is also there in master, see #2271.

@erlingrj erlingrj enabled auto-merge April 29, 2024 19:36
@erlingrj erlingrj added this pull request to the merge queue Apr 29, 2024
Merged via the queue into master with commit 1303e8e Apr 29, 2024
24 checks passed
@erlingrj erlingrj deleted the bump-reactor-c branch April 29, 2024 21:16
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@lhstrh lhstrh lhstrh approved these changes

Assignees
No one assigned
Labels
bugfix c Related to C target
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@erlingrj @lhstrh