Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #1611 - RalfJung:timing-tests, r=RalfJung
increase timeout to avoid spurious test failures just saw this fail on macOS in PR CI, so add some extra safety margin
- Loading branch information