chiark / gitweb /
core: set finish_timestamp only after all jobs have finished