Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for agda_2.5.4.1-3 [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 2.5.4.1-3 (buster-staging) |  armhf |
Maybe-Failed | 2023-03-30 05:25:03 | mb-lxc-01 | 2h 21m | 130.53 MB |
| Maybe-Failed | 2022-10-07 22:48:09 | testwandboard | 3h 56m | — | ||
| Maybe-Failed | 2019-08-24 04:37:11 | mb-lxc-02 | 3h 3m | 173.51 MB | ||
| Maybe-Failed | 2019-07-13 22:24:02 | mb-lxc-02 | 1h 30m | 130.53 MB | ||
| Maybe-Failed | 2019-07-07 23:29:49 | bm-wb-02 | 4h 29m | — | ||
| Maybe-Failed | 2019-07-01 00:01:17 | testwandboard | 4h 5m | — | ||
| Maybe-Failed | 2019-04-29 01:23:44 | bm-wb-03 | 3h 52m | — | ||
| Maybe-Failed | 2019-03-22 01:43:31 | testwandboard | 3h 43m | — | ||
| Maybe-Failed | 2019-03-19 08:28:36 | mb-lxc-01 | 1h 29m | 130.98 MB | ||
| Maybe-Failed | 2019-03-16 20:57:48 | testwandboard | 3h 50m | 130.53 MB | ||
| Maybe-Failed | 2019-03-16 09:15:17 | bm-wb-03 | 3h 38m | — | ||
| Maybe-Failed | 2019-03-15 20:24:50 | bm-wb-01 | 3h 34m | — | ||
| Maybe-Failed | 2019-03-15 05:49:41 | bm-wb-04 | 3h 34m | — | ||
| Maybe-Failed | 2019-03-14 19:37:59 | mb-lxc-02 | 1h 41m | 130.98 MB | ||
| Maybe-Failed | 2019-03-14 10:40:51 | mb-lxc-01 | 1h 30m | 130.98 MB | ||
| Maybe-Failed | 2019-03-14 00:08:55 | bm-wb-02 | 4h 28m | — | ||
| Maybe-Failed | 2019-03-13 09:47:09 | bm-wb-02 | 4h 32m | — | ||
| Maybe-Failed | 2019-03-12 12:03:21 | testwandboard | 2h 36m | 116.36 MB | ||
| Maybe-Failed | 2019-03-06 04:31:27 | mb-lxc-02 | 1h 26m | 130.98 MB | ||
| Maybe-Failed | 2019-03-02 13:02:10 | mb-lxc-01 | 1h 30m | 130.98 MB | ||
| Maybe-Failed | 2019-01-20 06:07:46 | testwandboard | 3h 58m | — | ||
| Maybe-Successful | 2018-12-22 02:17:49 | mb-lxc-01 | 3h 8m | 939.67 MB | ||
| Maybe-Failed | 2018-12-03 23:04:36 | bm-wb-01 | 1d 10h 17m | — |