Builder klee-x86_64-linux
No current builds
No pending builds
Recent Builds:
| Time | Revision | Result | Build # | Info |
|---|---|---|---|---|
| Apr 09 21:51 | 154367 | failure | #75 | Failed test |
| Apr 08 20:30 | 154300 | failure | #74 | Failed test |
| Apr 07 08:23 | 154257 | failure | #73 | Failed test |
| Apr 06 23:12 | 154245 | failure | #72 | Failed test |
| Apr 06 21:24 | 154238 | failure | #71 | Failed test |
Buildslaves:
| Name | Status | Admin |
|---|---|---|
| klee.minormatter.com | connected | KLEE Buildslave <klee-commits@keeda.llvm.org> |