Closed arichardson closed 1 year ago
I am planning to merge this once I can get CI happy - without this TestRIG is useless unless you disable the A extension (since it will just find a divergence immediately).
CI failures are timeouts on debug builds - will merge.
ping? Okay to merge this? Shouldn't really matter in practise but not having this check results in lots of TestRIG comparison failures vs sail.