Add sorted_ipc_queues invariant
#3140
| Job | Run time |
|---|---|
| 35m 47s | |
| 2h 20m 7s | |
| 2h 55m 54s |
sorted_ipc_queues invariant
#3140
| Job | Run time |
|---|---|
| 35m 47s | |
| 2h 20m 7s | |
| 2h 55m 54s |