build history of haskell-copilot-theorem on arm64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-12-23 01:30:00 |
4.0-2 |
unstable |
arm64 |
reproducible |
8m 38s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/75855 |
| 2024-12-10 14:02:00 |
4.0-2 |
trixie |
arm64 |
reproducible |
8m 42s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/71839 |
| 2024-12-03 05:57:00 |
4.0-2 |
unstable |
arm64 |
reproducible |
11m 37s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/71579 |
| 2024-11-18 11:47:00 |
4.0-2 |
trixie |
arm64 |
reproducible |
7m 43s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/66788 |
| 2024-11-09 03:51:00 |
4.0-2 |
unstable |
arm64 |
reproducible |
15m 1s |
codethink01-arm64 |
codethink04-arm64 |
arm64_15/69231 |
| 2024-10-19 21:44:00 |
4.0-2 |
trixie |
arm64 |
reproducible |
7m 53s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/62247 |
| 2024-10-13 17:34:00 |
4.0-1 |
trixie |
arm64 |
reproducible |
11m 11s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/62217 |
| 2024-10-09 08:17:00 |
4.0-2 |
unstable |
arm64 |
reproducible |
9m 13s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/61661 |
| 2024-10-06 18:03:00 |
4.0-2 |
unstable |
arm64 |
depwait |
35s |
codethink02-arm64 |
codethink01-arm64 |
arm64_4/38962 |
| 2024-10-04 08:41:00 |
4.0-2 |
unstable |
arm64 |
depwait |
22s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/60939 |
| 2024-10-01 00:25:00 |
4.0-2 |
unstable |
arm64 |
depwait |
49s |
codethink02-arm64 |
codethink01-arm64 |
arm64_4/38173 |
| 2024-09-28 17:35:00 |
4.0-2 |
unstable |
arm64 |
depwait |
29s |
codethink04-arm64 |
codethink02-arm64 |
arm64_22/32181 |
| 2024-09-26 03:41:00 |
4.0-2 |
unstable |
arm64 |
depwait |
45s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/59489 |
| 2024-09-23 08:48:00 |
4.0-2 |
unstable |
arm64 |
depwait |
25s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/60375 |
| 2024-09-16 06:46:00 |
4.0-1 |
trixie |
arm64 |
reproducible |
28m 36s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/58466 |
| 2024-09-11 12:18:00 |
4.0-1 |
unstable |
arm64 |
reproducible |
10m 31s |
codethink01-arm64 |
codethink03-arm64 |
arm64_2/51921 |
| 2024-09-07 07:43:00 |
3.19.1-1 |
trixie |
arm64 |
reproducible |
10m 34s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/57376 |
| 2024-09-01 21:37:00 |
3.19.1-1 |
unstable |
arm64 |
reproducible |
13m 58s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/34157 |
| 2024-08-09 23:23:00 |
3.19.1-1 |
trixie |
arm64 |
reproducible |
11m 54s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/30976 |
| 2024-08-04 07:23:00 |
3.19.1-1 |
unstable |
arm64 |
reproducible |
9m 51s |
codethink02-arm64 |
codethink01-arm64 |
arm64_4/29974 |
| 2024-07-14 05:13:00 |
3.19.1-1 |
trixie |
arm64 |
reproducible |
8m 11s |
codethink01-arm64 |
codethink04-arm64 |
arm64_15/51737 |
| 2024-07-09 12:08:00 |
3.19.1-1 |
unstable |
arm64 |
reproducible |
8m 12s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/48566 |
| 2024-06-25 19:47:00 |
3.18.1-2 |
trixie |
arm64 |
reproducible |
8m 12s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/42425 |
| 2024-06-22 14:08:00 |
3.18.1-2 |
unstable |
arm64 |
reproducible |
21m 34s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/24081 |
| 2024-06-01 18:08:00 |
3.18.1-2 |
trixie |
arm64 |
reproducible |
11m 52s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/44129 |
| 2024-05-29 21:20:00 |
3.18.1-2 |
unstable |
arm64 |
reproducible |
12m 58s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/44194 |
| 2024-05-10 18:15:00 |
3.18.1-2 |
trixie |
arm64 |
reproducible |
12m 53s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/34629 |
| 2024-05-07 13:07:00 |
3.18.1-2 |
unstable |
arm64 |
reproducible |
17m 30s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/16549 |
| 2024-04-18 08:05:00 |
3.18.1-2 |
trixie |
arm64 |
reproducible |
13m 7s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/31561 |
| 2024-04-15 08:14:00 |
3.18.1-2 |
unstable |
arm64 |
reproducible |
8m 10s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/12392 |
| 2024-03-19 19:39:00 |
3.18.1-2 |
trixie |
arm64 |
reproducible |
12m 32s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/9354 |
| 2024-03-16 05:57:00 |
3.18.1-2 |
unstable |
arm64 |
reproducible |
8m 20s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/32691 |
| 2024-01-15 05:52:00 |
3.18.1-2 |
trixie |
arm64 |
reproducible |
9m 27s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/23648 |
| 2024-01-12 00:32:00 |
3.18.1-2 |
unstable |
arm64 |
reproducible |
10m 26s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/19976 |
| 2024-01-09 11:05:00 |
3.18.1-2 |
unstable |
arm64 |
depwait |
46s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/19333 |
| 2024-01-08 07:09:00 |
3.13-1 |
bookworm |
arm64 |
reproducible |
11m 41s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/22744 |
| 2024-01-05 01:46:00 |
3.17-1 |
trixie |
arm64 |
reproducible |
7m 1s |
codethink03-arm64 |
codethink02-arm64 |
arm64_21/18124 |
| 2023-12-26 11:37:00 |
3.17-1 |
unstable |
arm64 |
reproducible |
6m 51s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/20090 |
| 2023-12-16 06:24:00 |
3.17-1 |
trixie |
arm64 |
reproducible |
7m 25s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/18751 |
| 2023-12-09 08:06:00 |
3.13-1 |
trixie |
arm64 |
reproducible |
13m 7s |
codethink04-arm64 |
codethink02-arm64 |
arm64_22/8249 |
| 2023-12-07 18:29:00 |
3.17-1 |
unstable |
arm64 |
reproducible |
7m 27s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/11884 |
| 2023-11-17 20:01:00 |
3.13-1 |
trixie |
arm64 |
reproducible |
13m 11s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/6642 |
| 2023-11-17 05:57:00 |
3.17-1 |
unstable |
arm64 |
reproducible |
7m 34s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/6477 |
| 2023-11-14 23:03:00 |
3.17-1 |
unstable |
arm64 |
depwait |
9m 9s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/2419 |
| 2023-11-14 03:50:00 |
3.17-1 |
unstable |
arm64 |
404 |
|
codethink03-arm64 |
codethink01-arm64 |
arm64_5/5893 |
| 2023-11-06 10:34:00 |
3.16.1-1 |
unstable |
arm64 |
reproducible |
7m 4s |
codethink02-arm64 |
codethink01-arm64 |
arm64_16/415 |
| 2023-11-05 15:49:00 |
3.16.1-1 |
unstable |
arm64 |
404 |
|
codethink01-arm64 |
codethink04-arm64 |
arm64_15/4075 |
| 2023-10-24 13:19:00 |
3.13-1 |
trixie |
arm64 |
reproducible |
13m 8s |
codethink02-arm64 |
codethink01-arm64 |
arm64_16/2418 |
| 2023-07-18 04:21:00 |
3.13-1 |
unstable |
arm64 |
reproducible |
32m 25s |
codethink16-arm64 |
codethink11-arm64 |
arm64_30/4631 |
| 2023-06-25 15:05:00 |
3.13-1 |
trixie |
arm64 |
reproducible |
37m 12s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/2448 |
| 2023-06-19 10:29:00 |
3.13-1 |
bookworm |
arm64 |
unreproducible |
38m 56s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/2516 |
| 2023-06-19 04:45:00 |
3.13-1 |
bookworm |
arm64 |
unreproducible |
33m 21s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/2502 |
| 2023-06-18 23:51:00 |
3.13-1 |
bookworm |
arm64 |
unreproducible |
32m 32s |
codethink11-arm64 |
codethink12-arm64 |
arm64_10/2216 |
| 2023-06-18 21:17:00 |
3.13-1 |
bookworm |
arm64 |
unreproducible |
40m 2s |
codethink16-arm64 |
codethink15-arm64 |
arm64_32/1952 |
| 2023-06-18 14:46:00 |
3.13-1 |
bookworm |
arm64 |
unreproducible |
37m 33s |
codethink16-arm64 |
codethink11-arm64 |
arm64_30/2470 |
| 2023-05-08 21:24:00 |
3.13-1 |
unstable |
arm64 |
reproducible |
41m 41s |
codethink10-arm64 |
codethink15-arm64 |
arm64_8/29063 |
| 2023-04-05 01:21:00 |
3.13-1 |
bookworm |
arm64 |
reproducible |
39m 37s |
codethink13-arm64 |
codethink10-arm64 |
arm64_17/21413 |
| 2023-03-28 02:20:00 |
3.13-1 |
unstable |
arm64 |
reproducible |
40m 32s |
codethink12-arm64 |
codethink13-arm64 |
arm64_15/10525 |
| 2023-03-01 07:35:00 |
3.13-1 |
bookworm |
arm64 |
reproducible |
33m 34s |
codethink13-arm64 |
codethink14-arm64 |
arm64_19/20969 |
| 2023-02-16 20:04:00 |
3.13-1 |
unstable |
arm64 |
reproducible |
40m 54s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/19711 |
| 2023-01-15 07:56:00 |
3.13-1 |
bookworm |
arm64 |
reproducible |
28m 43s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/17763 |
| 2023-01-10 14:18:00 |
3.13-1 |
unstable |
arm64 |
reproducible |
39m 24s |
codethink12-arm64 |
codethink15-arm64 |
arm64_16/12119 |
| 2022-12-28 21:09:00 |
3.12-1 |
unstable |
arm64 |
reproducible |
34m 44s |
codethink16-arm64 |
codethink11-arm64 |
arm64_30/7001 |
| 2022-12-06 00:21:00 |
3.12-1 |
bookworm |
arm64 |
reproducible |
33m 58s |
codethink11-arm64 |
codethink10-arm64 |
arm64_9/1870 |
| 2022-11-24 02:54:00 |
3.11-1 |
bookworm |
arm64 |
reproducible |
35m 22s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/14554 |
| 2022-11-14 16:57:00 |
3.12-1 |
unstable |
arm64 |
reproducible |
33m 24s |
codethink12-arm64 |
codethink15-arm64 |
arm64_16/8219 |
| 2022-11-11 13:15:00 |
3.12-1 |
unstable |
arm64 |
depwait |
46s |
codethink10-arm64 |
codethink11-arm64 |
arm64_6/12485 |
| 2022-11-09 07:16:00 |
3.12-1 |
unstable |
arm64 |
depwait |
39s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/13255 |
| 2022-10-19 02:12:00 |
3.11-1 |
bookworm |
arm64 |
reproducible |
35m 58s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/9382 |
| 2022-10-13 12:49:00 |
3.11-1 |
unstable |
arm64 |
reproducible |
30m 24s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/8878 |
| 2022-10-10 13:36:00 |
3.11-1 |
unstable |
arm64 |
depwait |
1m 2s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/9294 |
| 2022-10-07 09:04:00 |
3.11-1 |
unstable |
arm64 |
depwait |
59s |
codethink10-arm64 |
codethink13-arm64 |
arm64_7/8539 |
| 2022-10-07 03:25:00 |
3.10-2 |
unstable |
arm64 |
depwait |
42s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/8365 |
| 2022-10-04 00:19:00 |
3.10-2 |
unstable |
arm64 |
depwait |
58s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/9399 |
| 2022-09-30 17:11:00 |
3.10-2 |
unstable |
arm64 |
depwait |
32s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/7799 |
| 2022-09-27 13:43:00 |
3.10-2 |
unstable |
arm64 |
depwait |
47s |
codethink13-arm64 |
codethink14-arm64 |
arm64_19/9086 |
| 2022-09-24 21:08:00 |
3.10-2 |
unstable |
arm64 |
depwait |
38s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/8673 |
| 2022-09-19 06:26:00 |
3.10-2 |
unstable |
arm64 |
depwait |
40s |
codethink16-arm64 |
codethink9-arm64 |
arm64_29/3633 |