| Status: | OK |
|---|---|
| Date/Time: | Aug 2 2019, 06:46 |
| Duration: | 0:00:12.835455 |
| Builder: | ka4 |
| Revision: | Merge branch 'irq/urgent' (da6441cf7d7375bc87c36581ad0142f19b9485cb)
|
| Target: | tip/x86_64-allnoconfig/x86_64-gcc8 |
| Branch: | tip |
| Compiler: | x86_64-gcc8 (x86_64-linux-gcc (GCC) 8.1.0 / GNU ld (GNU Binutils) 2.30) |
| Config: | allnoconfig (download) |