diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-10-20 12:00:41 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-10-20 23:07:37 +0200 |
commit | 4056cd9480416f38e06f98fdf5acea7c82a4c886 (patch) | |
tree | 8c9f7c96e7f750932d8799e2e7c9c8e40890ff46 /etc/completion/zsh | |
parent | c5d83bee93542427f7b680554bcf947d0ae6dae6 (diff) | |
download | guix-4056cd9480416f38e06f98fdf5acea7c82a4c886.tar.gz guix-4056cd9480416f38e06f98fdf5acea7c82a4c886.zip |
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.
Diffstat (limited to 'etc/completion/zsh')
0 files changed, 0 insertions, 0 deletions