Increase timeout for 'build+run tests' CI workflow job from 5 to 10 minutes. It regularly times out during github's busiest hours, typically either on windows or macos workers. Even with this change in place there are occasional timeouts, but they are less frequent.
Increase timeout for 'build+run tests' CI workflow job from 5 to 10 minutes. It regularly times out during github's busiest hours, typically either on windows or macos workers. Even with this change in place there are occasional timeouts, but they are less frequent.