tree 3ef08ac5f439a4d4050042f7e7ab302afd309899
parent 9460733604ea8359336824ccf89f6f9ba33c37bc
author Luca Milanesio <luca.milanesio@gmail.com> 1483005499 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1483048556 +0000

Abort the verifier build after 10' of inactivity

If the verifier build is not doing anything for more than
10 minutes, it is better to abort and retry again instead of
waiting.

The build flow will retry 3 times anyway, the aborted build
shouldn't impact the final outcome of the verification.

Change-Id: I09392340373e704d091fc1b4b6f2bffab14018a8