| commit | 70681c4bce6a78f48917c702657946e50e299bae | [log] [tgz] |
|---|---|---|
| author | Jan Kundrát <jan.kundrat@cesnet.cz> | Sat Oct 17 20:10:30 2020 +0200 |
| committer | Jan Kundrát <jan.kundrat@cesnet.cz> | Sat Oct 17 20:10:30 2020 +0200 |
| tree | ba0eae90f77792ce759c4e1b8aaf5326966bdbf6 | |
| parent | 4ef70502e70754d7336e7759b479b0c2238a845c [diff] |
Add coverage diffing for F32-only jobs Change-Id: I4b299dfeeee3a3b4a9f683745cb6eb58ce6da1ee