chiark / gitweb /
build: make per-build hard time limit customizable