Builder klee-2.7-x86_64-linux
No current builds
No pending builds
Recent Builds:
| Time | Revision | Result | Build # | Info |
|---|---|---|---|---|
| Apr 09 21:39 | 154367 | success | #75 | Build successful |
| Apr 08 20:19 | 154300 | success | #74 | Build successful |
| Apr 07 09:23 | 154257 | success | #73 | Build successful |
| Apr 07 08:09 | 154256 | success | #72 | Build successful |
| Apr 06 22:58 | 154245 | success | #71 | Build successful |
Buildslaves:
| Name | Status | Admin |
|---|---|---|
| klee.minormatter.com | connected | KLEE Buildslave <klee-commits@keeda.llvm.org> |