chiark / gitweb /
jenkins: document build/sign test flow