ci: Add 'start-time' and 'stop-time' to <build> records.
authorLudovic Courtès <ludo@gnu.org>
Thu, 20 Oct 2022 10:00:41 +0000 (12:00 +0200)
committerLudovic Courtès <ludo@gnu.org>
Thu, 20 Oct 2022 21:07:37 +0000 (23:07 +0200)
commit4056cd9480416f38e06f98fdf5acea7c82a4c886
tree8c9f7c96e7f750932d8799e2e7c9c8e40890ff46
parentc5d83bee93542427f7b680554bcf947d0ae6dae6
ci: Add 'start-time' and 'stop-time' to <build> records.

* guix/ci.scm (seconds->date): New procedure.
(<build>)[start-time, stop-time]: New fields.
(build-duration): New procedure.
guix/ci.scm