Build #9510 (Apr 4, 2024, 5:49:14 PM)

1. Gracefully fail the MC if there is no actor to run (details)
2. 2 more McMini tests (details)
3. sthread: ignore more binaries (details)
4. MC: add a soft timeout mechanism to only search for a given amount of time (details)
5. MC: take care of max depth in DFS too (details)
6. sthread: handle PTHREAD_COND_INITIALIZER (details)

Started by upstream project SimGrid build number 9510
originally caused by:

• Triggered by GitLab Webhook

• refs/remotes/origin/master