| Sun, 23 Oct 2016 12:27:11 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 23 Oct 2016 12:21:17 +0200 | wenzelm | more explicit rev (tip); | changeset | files |
| Sun, 23 Oct 2016 11:38:43 +0200 | wenzelm | just one output file; | changeset | files |
| Sat, 22 Oct 2016 21:21:14 +0200 | wenzelm | more tasks; | changeset | files |
| Sat, 22 Oct 2016 21:10:02 +0200 | wenzelm | remote_builds has PAR-SEQ semantics of old isatest-makedist; | changeset | files |
| Sat, 22 Oct 2016 20:09:30 +0200 | wenzelm | expose results on failure (via mail); | changeset | files |