chiark / gitweb /
build: set overall timeout to 36 hours