Ludovic Courtès
976ef2d978
status: Record more information about builds.
...
* guix/status.scm (<build>): New record type.
(build, matching-build): New procedures.
(compute-status): Adjust to manipulate <build> records instead of
derivation file names in 'build-status-builds-completed' and
'build-status-building'.
(build-event-output-port)[process-line]: Use 'string-split' to preserve
spaces.
* tests/status.scm ("compute-status, builds + substitutes")
("compute-status, missing events"): Adjust to expect <build> records.
Produce complete "build-started" events.
("compute-status, multiplexed build output"): Likewise, and remove
"bar.drv" from 'builds-completed'.
2019-01-29 12:09:52 +01:00
..
2019-01-22 23:04:05 +01:00
2019-01-15 18:15:07 +01:00
2019-01-21 17:59:15 +05:30
2019-01-28 23:13:40 +01:00
2019-01-23 23:35:12 +01:00
2017-10-12 23:47:48 +02:00
2017-03-16 22:50:14 +01:00
2017-07-21 17:03:24 +02:00
2017-05-25 14:25:17 +02:00
2014-10-05 21:58:42 +02:00
2017-04-22 14:42:15 +02:00
2019-01-29 12:09:52 +01:00
2018-11-10 23:33:46 +01:00
2017-01-28 18:55:20 +01:00
2018-06-18 23:19:51 +02:00
2015-06-24 18:05:03 +02:00
2018-08-26 01:47:40 +02:00
2017-10-19 23:21:49 +02:00
2019-01-21 23:09:55 +01:00
2019-01-21 23:09:55 +01:00
2018-09-07 11:40:22 +02:00
2019-01-15 20:24:09 +01:00
2018-11-29 09:30:00 +01:00
2018-12-19 23:52:25 +01:00
2015-03-30 15:21:11 +02:00
2019-01-09 14:47:53 +01:00
2019-01-07 23:50:56 +01:00
2018-11-26 11:10:20 +01:00
2018-11-30 17:03:04 +01:00
2018-03-18 22:57:17 +01:00
2018-11-10 23:33:46 +01:00
2018-09-25 18:45:50 +02:00
2019-01-21 23:09:55 +01:00
2017-08-24 23:55:51 +02:00
2017-10-19 23:21:49 +02:00
2019-01-09 14:47:53 +01:00
2017-11-08 22:31:58 +01:00
2019-01-21 23:09:55 +01:00
2019-01-24 13:46:39 +01:00
2018-06-01 15:21:28 +02:00
2017-12-13 23:11:53 +01:00
2018-04-08 17:41:08 +02:00
2016-01-13 17:43:21 +01:00
2017-05-02 23:41:13 +02:00
2018-11-13 14:59:45 +01:00
2019-01-28 15:45:48 +01:00
2018-09-04 17:25:11 +02:00
2019-01-18 16:15:33 +00:00
2019-01-15 20:24:08 +01:00
2018-11-16 14:53:44 +01:00
2019-01-24 20:48:14 +01:00
2018-10-23 01:04:39 +02:00
2018-05-10 14:53:57 +02:00
2019-01-22 23:04:05 +01:00
2019-01-21 23:09:55 +01:00
2015-01-11 23:50:01 +01:00
2019-01-21 23:09:55 +01:00
2019-01-29 12:09:52 +01:00
2019-01-21 23:09:55 +01:00
2017-06-15 17:03:14 +02:00
2018-11-27 12:12:33 +01:00
2019-01-24 20:47:21 +01:00
2019-01-23 23:35:12 +01:00
2019-01-12 23:35:11 +01:00
2018-12-19 23:52:25 +01:00
2017-11-17 10:47:56 +01:00
2017-11-19 23:09:01 +01:00