true,ocaml-manycores (Oct 31, 2025, 8:55:20 AM)

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

• Started by GitHub push by gasche

• origin/trunk

1. Enforce !current_level <= generic_level and explain create_scope (details / githubweb)
2. assign PR (details / githubweb)