CI: Timeout Linux jobs after 25 minutes
Some tests have been seen deadlocked. They continued running for an hour+, until the default Github timeout. Linux timeout higher than macOS because the Linux jobs run more tests.pull/1268/head
parent
a00263d963
commit
e19397ee59
Loading…
Reference in New Issue