Changes

origin/trunk-#5489 (Oct 31, 2025, 12:57:41 PM)

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

origin/trunk-#5488 (Oct 31, 2025, 8:55:20 AM)

1. Enforce !current_level <= generic_level and explain create_scope — garrigue / githubweb
2. assign PR — garrigue / githubweb

origin/trunk-#5487 (Oct 30, 2025, 3:54:02 PM)

1. dune: iarray is available in OCaml 5.4 — gabriel.scherer / githubweb
2. dune: avoid label-reordering in filename.ml — gabriel.scherer / githubweb
3. dune: avoid label-reordering in dynarray.ml — gabriel.scherer / githubweb
4. dune: unix/rename.c is common to both OSes since 072a905 — gabriel.scherer / githubweb

origin/trunk-#5486 (Oct 30, 2025, 1:04:21 PM)

1. Use abstract environment to print recmod paths (#14036) — brandonzstride / githubweb
2. Add error message for abstract types in recmod signatures — brandonzstride / githubweb

origin/trunk-#5485 (Oct 29, 2025, 11:40:28 PM)

1. Remove leftover hacks for handling pattern constraints — vincent.laviron / githubweb
2. Changes — vincent.laviron / githubweb
3. Add test — vincent.laviron / githubweb

origin/trunk-#5484 (Oct 29, 2025, 3:37:32 PM)

1. Revert "Disable flaky test under TSan (see #14300) (#14301)" — gabriel.scherer / githubweb

origin/trunk-#5483 (Oct 29, 2025, 3:17:14 PM)

1. Disable flaky test under TSan (see #14300) (#14301) — noreply / githubweb