diff options
Diffstat (limited to 'jenkins/status.html')
-rw-r--r-- | jenkins/status.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins/status.html b/jenkins/status.html index 55186e1..78537b4 100644 --- a/jenkins/status.html +++ b/jenkins/status.html @@ -2,7 +2,7 @@ <html> <body> - <h2>Status of this run : 26 benchmarks succeeded, <FONT COLOR="orange">3 failed<FONT COLOR="black"></h2> + <h2>Status of this run : 25 benchmarks succeeded, <FONT COLOR="orange">3 failed<FONT COLOR="black"></h2> <FONT COLOR="orange"> <h3> - 416.gamess : failed-to-build</h3> |