diff options
Diffstat (limited to 'jenkins/status.html')
-rw-r--r-- | jenkins/status.html | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/jenkins/status.html b/jenkins/status.html index 49e2986..69d5d56 100644 --- a/jenkins/status.html +++ b/jenkins/status.html @@ -2,17 +2,11 @@ <html> <body> - <h2>Status of this run : 3 benchmarks succeeded, <FONT COLOR="orange">13 failed<FONT COLOR="black"></h2> + <h2>Status of this run : 3 benchmarks succeeded, <FONT COLOR="orange">7 failed<FONT COLOR="black"></h2> <FONT COLOR="orange"> <h3> - 500.perlbench_r : failed-to-run</h3> <h3> - 502.gcc_r : failed-to-run</h3> -<h3> - 508.namd_r : failed-to-run</h3> -<h3> - 510.parest_r : failed-to-run</h3> -<h3> - 511.povray_r : failed-to-run</h3> -<h3> - 519.lbm_r : failed-to-run</h3> -<h3> - 520.omnetpp_r : failed-to-run</h3> -<h3> - 523.xalancbmk_r : failed-to-run</h3> <h3> - 525.x264_r : failed-to-run</h3> <h3> - 526.blender_r : failed-to-run</h3> <h3> - 538.imagick_r : failed-to-run</h3> |