chiark / gitweb /
* adt-run: increase timeouts to 3ks for tests and 10ks for builds.