build history of haskell-copilot-theorem on amd64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2025-10-25 15:01:00 |
4.5-1 |
forky |
amd64 |
reproducible |
19m 33s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/56904 |
| 2025-10-21 13:17:00 |
4.5-1 |
unstable |
amd64 |
reproducible |
10m 45s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/56808 |
| 2025-10-01 11:41:00 |
4.5-1 |
forky |
amd64 |
reproducible |
10m 35s |
infom02-amd64 |
infom01-amd64 |
amd64_36/83289 |
| 2025-09-26 23:04:00 |
4.5-1 |
unstable |
amd64 |
reproducible |
22m 26s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/72751 |
| 2025-09-07 21:09:00 |
4.5-1 |
forky |
amd64 |
reproducible |
29m 29s |
ionos15-amd64 |
ionos11-amd64 |
amd64_28/71940 |
| 2025-09-03 07:42:00 |
4.5-1 |
unstable |
amd64 |
reproducible |
47m 29s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/57600 |
| 2025-08-17 05:20:00 |
4.5-1 |
forky |
amd64 |
reproducible |
13m 48s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/69729 |
| 2025-08-14 23:22:00 |
4.5-1 |
unstable |
amd64 |
reproducible |
20m 7s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/50314 |
| 2025-08-12 03:58:00 |
4.5-1 |
unstable |
amd64 |
404 |
|
infom01-amd64 |
infom02-amd64 |
amd64_37/77517 |
| 2025-08-06 18:44:00 |
4.3-1 |
trixie |
amd64 |
reproducible |
16m 25s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/63339 |
| 2025-08-01 01:19:00 |
4.3-1 |
unstable |
amd64 |
reproducible |
11m 43s |
infom01-amd64 |
infom02-amd64 |
amd64_33/74512 |
| 2025-07-19 11:19:00 |
4.3-1 |
trixie |
amd64 |
reproducible |
16m 24s |
ionos11-amd64 |
ionos5-amd64 |
amd64_31/50001 |
| 2025-07-15 02:09:00 |
4.3-1 |
unstable |
amd64 |
reproducible |
17m 16s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/64302 |
| 2025-07-03 19:20:00 |
4.3-1 |
trixie |
amd64 |
reproducible |
12m 52s |
ionos5-amd64 |
ionos1-amd64 |
amd64_2/45189 |
| 2025-06-29 17:19:00 |
4.3-1 |
unstable |
amd64 |
reproducible |
15m 35s |
infom01-amd64 |
infom02-amd64 |
amd64_33/69311 |
| 2025-06-19 09:04:00 |
4.3-1 |
trixie |
amd64 |
reproducible |
14m 55s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/62065 |
| 2025-06-15 15:11:00 |
4.3-1 |
unstable |
amd64 |
reproducible |
16m 43s |
ionos15-amd64 |
ionos11-amd64 |
amd64_28/61263 |
| 2025-06-03 16:33:00 |
4.3-1 |
trixie |
amd64 |
reproducible |
17m 57s |
ionos11-amd64 |
ionos5-amd64 |
amd64_31/43653 |
| 2025-05-30 09:50:00 |
4.3-1 |
unstable |
amd64 |
reproducible |
33m 0s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/43766 |
| 2025-05-16 13:35:00 |
4.3-1 |
trixie |
amd64 |
reproducible |
11m 34s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/40177 |
| 2025-05-13 19:12:00 |
4.3-1 |
unstable |
amd64 |
reproducible |
19m 37s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/52947 |
| 2025-04-29 10:24:00 |
4.3-1 |
trixie |
amd64 |
reproducible |
18m 22s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/40606 |
| 2025-04-27 18:40:00 |
4.3-1 |
unstable |
amd64 |
reproducible |
19m 43s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/35676 |
| 2025-04-04 14:39:00 |
4.3-1 |
trixie |
amd64 |
reproducible |
1h 19m 24s |
ionos5-amd64 |
ionos11-amd64 |
amd64_32/38039 |
| 2025-03-31 15:34:00 |
4.3-1 |
unstable |
amd64 |
reproducible |
12m 47s |
infom01-amd64 |
infom02-amd64 |
amd64_35/52865 |
| 2025-03-30 00:36:00 |
4.3-1 |
unstable |
amd64 |
404 |
|
ionos15-amd64 |
ionos11-amd64 |
amd64_24/52701 |
| 2025-03-21 22:02:00 |
4.2-1 |
trixie |
amd64 |
reproducible |
18m 43s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/47393 |
| 2025-03-19 02:43:00 |
4.2-1 |
unstable |
amd64 |
reproducible |
18m 23s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/36748 |
| 2025-02-25 01:20:00 |
4.2-1 |
trixie |
amd64 |
reproducible |
9m 37s |
infom01-amd64 |
infom02-amd64 |
amd64_35/48305 |
| 2025-02-21 16:28:00 |
4.2-1 |
unstable |
amd64 |
reproducible |
19m 10s |
infom01-amd64 |
infom02-amd64 |
amd64_37/51388 |
| 2025-01-28 05:35:00 |
4.2-1 |
trixie |
amd64 |
reproducible |
19m 12s |
infom01-amd64 |
infom02-amd64 |
amd64_33/47371 |
| 2025-01-24 08:10:00 |
4.2-1 |
unstable |
amd64 |
reproducible |
17m 13s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/29235 |
| 2025-01-04 12:43:00 |
4.0-2 |
trixie |
amd64 |
reproducible |
20m 9s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/43500 |
| 2024-12-27 03:41:00 |
4.0-2 |
unstable |
amd64 |
reproducible |
18m 55s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/28115 |
| 2024-12-11 20:41:00 |
4.0-2 |
trixie |
amd64 |
reproducible |
15m 43s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/40321 |
| 2024-12-05 10:46:00 |
4.0-2 |
unstable |
amd64 |
reproducible |
31m 1s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/25307 |
| 2024-11-20 11:48:00 |
4.0-2 |
trixie |
amd64 |
reproducible |
11m 17s |
infom01-amd64 |
infom02-amd64 |
amd64_33/38024 |
| 2024-11-11 05:46:00 |
4.0-2 |
unstable |
amd64 |
reproducible |
40m 41s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/23827 |
| 2024-10-19 14:28:00 |
4.0-2 |
trixie |
amd64 |
reproducible |
30m 47s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/22080 |
| 2024-10-11 11:26:00 |
4.0-1 |
trixie |
amd64 |
reproducible |
15m 3s |
infom01-amd64 |
infom02-amd64 |
amd64_37/32960 |
| 2024-10-10 03:56:00 |
4.0-2 |
unstable |
amd64 |
reproducible |
30m 14s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/35775 |
| 2024-10-05 15:57:00 |
4.0-2 |
unstable |
amd64 |
depwait |
1m 8s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/20773 |
| 2024-10-02 20:01:00 |
4.0-2 |
unstable |
amd64 |
depwait |
1m 22s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/21715 |
| 2024-09-30 17:30:00 |
4.0-2 |
unstable |
amd64 |
depwait |
32s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/34526 |
| 2024-09-28 00:36:00 |
4.0-2 |
unstable |
amd64 |
depwait |
47s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/19695 |
| 2024-09-25 20:00:00 |
4.0-2 |
unstable |
amd64 |
depwait |
41s |
infom01-amd64 |
infom02-amd64 |
amd64_37/30417 |
| 2024-09-23 08:48:00 |
4.0-2 |
unstable |
amd64 |
depwait |
1m 2s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/22107 |
| 2024-09-16 05:26:00 |
4.0-1 |
trixie |
amd64 |
reproducible |
26m 4s |
infom02-amd64 |
infom01-amd64 |
amd64_36/28779 |
| 2024-09-11 12:24:00 |
4.0-1 |
unstable |
amd64 |
reproducible |
35m 24s |
ionos15-amd64 |
ionos11-amd64 |
amd64_28/33023 |
| 2024-08-31 10:50:00 |
3.19.1-1 |
trixie |
amd64 |
reproducible |
9m 40s |
infom01-amd64 |
infom02-amd64 |
amd64_33/28006 |
| 2024-08-27 09:34:00 |
3.19.1-1 |
unstable |
amd64 |
reproducible |
16m 22s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/17923 |
| 2024-08-06 05:37:00 |
3.19.1-1 |
trixie |
amd64 |
reproducible |
42m 23s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/16168 |
| 2024-08-01 17:40:00 |
3.19.1-1 |
unstable |
amd64 |
reproducible |
10m 10s |
infom02-amd64 |
infom01-amd64 |
amd64_38/19111 |
| 2024-07-14 05:08:00 |
3.19.1-1 |
trixie |
amd64 |
reproducible |
17m 58s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/27082 |
| 2024-07-09 12:00:00 |
3.19.1-1 |
unstable |
amd64 |
reproducible |
10m 42s |
infom02-amd64 |
infom01-amd64 |
amd64_36/18681 |
| 2024-06-22 20:44:00 |
3.18.1-2 |
trixie |
amd64 |
reproducible |
34m 29s |
ionos1-amd64 |
ionos5-amd64 |
amd64_1/9680 |
| 2024-06-21 09:59:00 |
3.18.1-2 |
unstable |
amd64 |
reproducible |
26m 45s |
ionos11-amd64 |
ionos15-amd64 |
amd64_27/25137 |
| 2024-06-01 01:48:00 |
3.18.1-2 |
trixie |
amd64 |
reproducible |
11m 19s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/23051 |
| 2024-05-31 07:07:00 |
3.18.1-2 |
unstable |
amd64 |
reproducible |
14m 12s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/21546 |
| 2024-05-11 18:51:00 |
3.18.1-2 |
trixie |
amd64 |
reproducible |
16m 1s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/6057 |
| 2024-05-10 15:29:00 |
3.18.1-2 |
unstable |
amd64 |
reproducible |
15m 42s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/20338 |
| 2024-04-22 14:02:00 |
3.18.1-2 |
trixie |
amd64 |
reproducible |
37m 15s |
ionos15-amd64 |
ionos11-amd64 |
amd64_28/17570 |
| 2024-04-20 11:54:00 |
3.18.1-2 |
unstable |
amd64 |
reproducible |
6m 7s |
infom02-amd64 |
infom01-amd64 |
amd64_34/7036 |
| 2024-04-03 19:55:00 |
3.18.1-2 |
trixie |
amd64 |
reproducible |
18m 21s |
infom02-amd64 |
infom01-amd64 |
amd64_36/4493 |
| 2024-04-01 22:21:00 |
3.18.1-2 |
unstable |
amd64 |
reproducible |
14m 21s |
ionos1-amd64 |
ionos15-amd64 |
amd64_29/4626 |
| 2024-01-21 22:54:00 |
3.18.1-2 |
trixie |
amd64 |
reproducible |
15m 51s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/12820 |
| 2024-01-19 20:19:00 |
3.18.1-2 |
unstable |
amd64 |
reproducible |
1h 0m 27s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/9885 |
| 2023-12-28 13:42:00 |
3.17-1 |
trixie |
amd64 |
reproducible |
18m 57s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/9732 |
| 2023-11-24 19:59:00 |
3.13-1 |
trixie |
amd64 |
reproducible |
20m 29s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/5365 |
| 2023-11-22 19:27:00 |
3.17-1 |
unstable |
amd64 |
reproducible |
49m 58s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/2922 |
| 2023-11-14 05:29:00 |
3.17-1 |
unstable |
amd64 |
depwait |
43s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/795 |
| 2023-11-06 02:18:00 |
3.16.1-1 |
unstable |
amd64 |
reproducible |
26m 30s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/2931 |
| 2023-11-02 13:29:00 |
3.13-1 |
unstable |
amd64 |
depwait |
33s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/2628 |
| 2023-10-27 20:11:00 |
3.13-1 |
unstable |
amd64 |
depwait |
1m 20s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/2664 |
| 2023-10-21 14:40:00 |
3.13-1 |
unstable |
amd64 |
depwait |
53s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/2094 |
| 2023-10-04 20:36:00 |
3.13-1 |
unstable |
amd64 |
depwait |
37s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/4016 |
| 2023-09-30 17:44:00 |
3.13-1 |
unstable |
amd64 |
depwait |
40s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/703 |
| 2023-07-20 03:12:00 |
3.13-1 |
trixie |
amd64 |
reproducible |
29m 25s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/3925 |
| 2023-06-26 04:17:00 |
3.13-1 |
unstable |
amd64 |
reproducible |
9m 33s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/1984 |
| 2023-05-06 13:11:00 |
3.13-1 |
bookworm |
amd64 |
reproducible |
20m 10s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/16436 |
| 2023-04-19 02:06:00 |
3.13-1 |
unstable |
amd64 |
reproducible |
20m 5s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/4516 |
| 2023-03-27 13:55:00 |
3.13-1 |
bookworm |
amd64 |
reproducible |
20m 52s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/13404 |
| 2023-03-18 12:06:00 |
3.13-1 |
unstable |
amd64 |
reproducible |
33m 58s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/7458 |
| 2023-02-20 08:43:00 |
3.13-1 |
bookworm |
amd64 |
reproducible |
11m 12s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/14903 |
| 2023-02-14 12:24:00 |
3.13-1 |
unstable |
amd64 |
reproducible |
9m 41s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/10603 |
| 2023-01-15 09:34:00 |
3.13-1 |
bookworm |
amd64 |
reproducible |
43m 22s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/3279 |
| 2023-01-12 13:50:00 |
3.13-1 |
unstable |
amd64 |
reproducible |
30m 51s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/5025 |
| 2022-12-26 19:49:00 |
3.12-1 |
unstable |
amd64 |
reproducible |
9m 29s |
ionos11-amd64 |
ionos15-amd64 |
amd64_31/3716 |
| 2022-12-07 04:39:00 |
3.12-1 |
bookworm |
amd64 |
reproducible |
26m 33s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/10724 |
| 2022-11-22 00:12:00 |
3.11-1 |
bookworm |
amd64 |
reproducible |
28m 26s |
ionos11-amd64 |
ionos5-amd64 |
amd64_29/3152 |
| 2022-11-13 19:19:00 |
3.12-1 |
unstable |
amd64 |
reproducible |
26m 20s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/2189 |
| 2022-11-11 09:46:00 |
3.12-1 |
unstable |
amd64 |
depwait |
43s |
ionos15-amd64 |
ionos11-amd64 |
amd64_32/2490 |
| 2022-11-09 06:57:00 |
3.12-1 |
unstable |
amd64 |
depwait |
28s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/2249 |
| 2022-11-07 09:13:00 |
3.11-1 |
unstable |
amd64 |
reproducible |
11m 13s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/4116 |
| 2022-10-19 02:04:00 |
3.11-1 |
bookworm |
amd64 |
reproducible |
15m 13s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/2599 |
| 2022-10-07 08:35:00 |
3.11-1 |
unstable |
amd64 |
reproducible |
15m 30s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/956 |
| 2022-09-22 15:45:00 |
3.10-2 |
unstable |
amd64 |
reproducible |
1h 2m 16s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/3043 |