| commit | b1ff679be67e892090e5f2bb82f9dcf14bd0275a | [log] [tgz] |
|---|---|---|
| author | Luca Cristoforetti <cristofo@fbk.eu> | Wed May 20 17:09:15 2020 +0200 |
| committer | Luca Cristoforetti <cristofo@fbk.eu> | Wed May 20 17:09:15 2020 +0200 |
| tree | d8adf49fb435d3af31e4bd39e0ecc280ab9d9184 | |
| parent | 026b1c3f85a1fbc8f0870e1256df3d9134ebf79b [diff] |
Improve handling of checkers execution