latest build failed TUM-DSE/miniosv
| # | ref | commit | when | took |
|---|---|---|---|---|
| #7 | PR #3 | cd3d652536 |
— | |
| #6 | PR #3 | 9c5ada8100 |
— | |
| #5 | master | c7f62ef4d2 |
14s | |
| #4 | master | 6d88a35f4e |
0s | |
| #3 | master | eb93f1af02 |
12s | |
| #2 | master | 2df9a7d7a4 |
15s | |
| #1 | master | e4635ff386 |
15s |