chiark / gitweb /
build: add global soft timeout of 12 hours