Server timeouts while CI running on PRs

[WhiteNinjaZ]

trafficstars

While porting designs into symbiflow-examples there have been multiple times when PR run tests have failed due to only a server timeout. This problem occurs as often as once every three pushes and is usually more of an issue when CI is running on multiple PRs simultaneously. I am not sure which test times out the most often but I do know that linux_litex, picosoc, and counter have failed many times due to timeout. The fix for this on the contributor side of things is usually just to do a force push on the branch being merged, but it would be nice if there was a more permanent solution especially as I could see this as a source of confusion for new contributors.

[pgielda]

We are aware of it and working on fixing that.