Status: | OK |
---|---|
Date/Time: | Aug 14 2018, 15:06 |
Duration: | 0:12:40.233302 |
Builder: | ka3 |
Revision: | Merge branch 'x86-timers-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (13e091b6dd0e78a518a7d8756607d3acb8215768)
|
Target: | linus-rand/x86_64-randconfig/x86_64-gcc8 |
Branch: | linus-rand |
Compiler: | x86_64-gcc8 (x86_64-linux-gcc (GCC) 8.1.0) |
Config: | randconfig (download) |