chiark / gitweb /
Don't include skips in build successes
authorCiaran Gultnieks <ciaran@ciarang.com>
Fri, 6 Jan 2012 12:21:06 +0000 (12:21 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Fri, 6 Jan 2012 12:21:06 +0000 (12:21 +0000)
commitb8798886903b2a662fda2622fe10adbec4ab02d7
tree7f287c21537d0315128682f228196a8f72c90810
parent775e1e245a0998de8b1fef9493f5abb83d76a730
Don't include skips in build successes
build.py