false,ocaml-manycores (Oct 31, 2025, 12:57:41 PM)

Started by upstream project parallel-build build number 5489
originally caused by:

• Started by GitHub push by gasche

• origin/trunk

1. improved version of #14229 (details / githubweb)
2. fix done; add tests (details / githubweb)
3. fix comment (details / githubweb)
4. extract instance_unshared and update comments (details / githubweb)