Skip to content

Remove platform_barrier#1574

Open
Timmmm wants to merge 1 commit intorems-project:sail2from
Timmmm:user/timh/platform_barrier
Open

Remove platform_barrier#1574
Timmmm wants to merge 1 commit intorems-project:sail2from
Timmmm:user/timh/platform_barrier

Conversation

@Timmmm
Copy link
Copy Markdown
Contributor

@Timmmm Timmmm commented Dec 17, 2025

I'm pretty sure this is no longer used.

I'm pretty sure this is no longer used.
@github-actions
Copy link
Copy Markdown

Test Results

   16 files     36 suites   0s ⏱️
1 011 tests 1 008 ✅  3 💤 0 ❌
4 890 runs  4 848 ✅ 42 💤 0 ❌

Results for commit 8e3105f.

@rmn30
Copy link
Copy Markdown
Contributor

rmn30 commented Dec 18, 2025

We can't know that no-one is using it because we don't know all the existing models that are using Sail. Ideally it would be deprecated for at least a release and there should be a ChangeLog note on the appropriate alternative, which I think is concurrency_interface.sail and sail_barrier?

@Timmmm
Copy link
Copy Markdown
Contributor Author

Timmmm commented Dec 18, 2025

It has already been removed, effectively. These are just some remnants.

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.

2 participants