Head 3876691d317c2bbcdbf7 on branch tip

kisskb

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

Merge branch 'x86/timers'

Description: Merge branch 'x86/timers'
Date: Dec. 22, 2018, 10:28 p.m.
Hash: 3876691d317c2bbcdbf7bd228f0a7d4de7c7e699
Branch: tip
Gitweb: git.kernel.org
Progress: 100% 10/10
Successful: 100% 10/10
Previous: b0282f07c34e00c0f53b (compare)
Next: 930495621be4f10b907c (compare)
Results:
Status Date/time Target
OK Dec 22 2018, 22:28 tip/pseries_defconfig/powerpc-gcc4.6
OK Dec 22 2018, 22:28 tip/pmac32_defconfig/powerpc-gcc4.6
OK Dec 22 2018, 22:28 tip/ppc64_defconfig/powerpc-gcc4.6
OK Dec 22 2018, 22:28 tip/powerpc-allnoconfig/powerpc-gcc4.6
OK Dec 22 2018, 22:28 tip/ppc6xx_defconfig/powerpc-gcc4.6
OK Dec 22 2018, 22:29 tip/ppc64e_defconfig/powerpc-gcc4.6
OK Dec 22 2018, 22:30 tip/arm64-defconfig/arm64-gcc5
OK Dec 22 2018, 22:30 tip/ppc64le_defconfig/powerpc-gcc5
OK Dec 22 2018, 22:31 tip/powernv_defconfig/powerpc-gcc5
OK Dec 22 2018, 22:31 tip/powernv_defconfig+NO_PERF/powerpc-gcc5
© Michael Ellerman 2006-2018.