CI is failing regularly because of a Dynlink

[maiste]

Expected Behavior

The CI goes green when running PRs.

Actual Behavior

 File "c/dune", lines 11-14, characters 0-95:
 11 | (rule
  12 |  (targets out.log)
  13 |  (deps (package c))
  14 |  (action (with-stdout-to out.log (run %{bin:c}))))
 Fatal error: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"$TESTCASE_ROOT/_build/install/default/lib/b/b/b/b.cmxs: cannot open shared object file: No such file or directory\\\")\")")

Reproduction

This is a test that is sometimes broken, but it seems to face a race condition somewhere... I try to reproduce but I wasn't able to on another CI or on my own computer.

Specifications

• On the CI, Ubuntu latest

[ElectreAAS]

Had this happen to me on a local machine, ubuntu latest as well
Happened once, and after a git bisect I couldn't reproduce it anymore