Closed jmid closed 10 months ago
CI summary:
domain_spawntree
with Fatal error: Failed to create domain
#428domain_spawntree
with Fatal error: Failed to create domain
#428domain_spawntree
with Fatal error: Failed to create domain
#428domain_spawntree
with Fatal error: Failed to create domain
#428Out of 59 workflows 7 failed with 6 genuine failures and 1 CI issue.
Note:
STM Weak test
CI summary for merge to main
domain_spawntree
with Fatal error: Failed to create domain
#428 domain_spawntree
with Fatal error: Failed to create domain
#428Out of 36 workflows 2 failed - both with genuine issues (no false alarms! :tada:)
As #406 shows, the parallel
STM Weak
test occasionally fails to trigger on s390x, thus resulting in a false alarm.This 1-character PR therefore bumps the test
count
. Since this is a negative test stopping on the first counterexample, all platforms except s390x should be unaffected. On Linux/s390x this should however increase the chance of triggering the issue.