Head 1da71dc1b62dd5f8b7e5 on branch tip

kisskb

Revisions | Branches | Compilers | Configs | Build Results | Build Failures |

Merge branch 'x86/timers'

Description: Merge branch 'x86/timers'
Date: Oct. 3, 2017, 4:47 a.m.
Hash: 1da71dc1b62dd5f8b7e5a7368500b0e5f2ae8b51
Branch: tip
Gitweb: git.kernel.org
Progress: 61% 8/13
Successful: 100% 8/8
Previous: 437df561a333e1eaca40 (compare)
Next: ad5edd61cc9aaa388938 (compare)
Results:
Status Date/time Target
OK Oct 3 2017, 04:47 tip/pseries_defconfig/powerpc-gcc4.6
OK Oct 3 2017, 04:47 tip/pmac32_defconfig/powerpc-gcc4.6
OK Oct 3 2017, 04:47 tip/ppc64_defconfig/powerpc-gcc4.6
OK Oct 3 2017, 04:49 tip/powerpc-allnoconfig/powerpc-gcc4.6
OK Oct 3 2017, 04:50 tip/ppc6xx_defconfig/powerpc-gcc4.6
OK Oct 3 2017, 04:50 tip/ppc64e_defconfig/powerpc-gcc4.6
OK Oct 3 2017, 04:50 tip/arm64-defconfig/arm64-gcc5
OK Oct 3 2017, 04:52 tip/ppc64le_defconfig/powerpc-gcc5
© Michael Ellerman 2006-2018.