| commit | e98e30eb6d9f015e0c8c6f2b6b3fb680a9fd31da | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Thu Dec 29 09:58:19 2016 +0000 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Thu Dec 29 21:55:56 2016 +0000 |
| tree | 3ef08ac5f439a4d4050042f7e7ab302afd309899 | |
| parent | 9460733604ea8359336824ccf89f6f9ba33c37bc [diff] |
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