Head f888dc3cb78e22572673 on branch tip

kisskb

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

Merge branch 'x86/timers'

Description: Merge branch 'x86/timers'
Date: July 14, 2018, 11:20 p.m.
Hash: f888dc3cb78e22572673c861c1bdf6a45cee27d2
Branch: tip
Gitweb: git.kernel.org
Progress: 100% 10/10
Successful: 100% 10/10
Previous: 28233bc1ab7dce65f6c3 (compare)
Next: fb2ca13f861a203ad6eb (compare)
Results:
Status Date/time Target
OK Jul 14 2018, 23:20 tip/pseries_defconfig/powerpc-gcc4.6
OK Jul 14 2018, 23:20 tip/pmac32_defconfig/powerpc-gcc4.6
OK Jul 14 2018, 23:20 tip/ppc64_defconfig/powerpc-gcc4.6
OK Jul 14 2018, 23:20 tip/powerpc-allnoconfig/powerpc-gcc4.6
OK Jul 14 2018, 23:20 tip/ppc6xx_defconfig/powerpc-gcc4.6
OK Jul 14 2018, 23:21 tip/ppc64e_defconfig/powerpc-gcc4.6
OK Jul 14 2018, 23:21 tip/arm64-defconfig/arm64-gcc5
OK Jul 14 2018, 23:22 tip/ppc64le_defconfig/powerpc-gcc5
OK Jul 14 2018, 23:22 tip/powernv_defconfig/powerpc-gcc5
OK Jul 14 2018, 23:23 tip/powernv_defconfig+NO_PERF/powerpc-gcc5
© Michael Ellerman 2006-2018.