Carmen's RaceDetection test is currently failing presumably due to a race condition detected in Aida's Carmen adaptor. An example log of a failed test case can be found here.
This issue got already fixed in this PR. The reason why the run failed is because current main does not have this fix.
@wsodsong are we merging develop into main anytime soon?
Carmen's RaceDetection test is currently failing presumably due to a race condition detected in Aida's Carmen adaptor. An example log of a failed test case can be found here.