Bump portfile retries (#5134)

We have seen a few test failures where the port file was not written
to in time. Apparently this can takes ages on CI for tests that are
not marked exclusive.

changelog_begin
changelog_end
This commit is contained in:
Moritz Kiefer 2020-03-23 19:20:33 +01:00 committed by GitHub
parent 3df5a6ec5b
commit ed67e5c188
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,5 +24,4 @@ retryDelayMillis :: Int
retryDelayMillis = 50
maxRetries :: Int
maxRetries = 60 * (1000 `div` retryDelayMillis)
maxRetries = 120 * (1000 `div` retryDelayMillis)