build history of coq-unimath
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-04-21 22:47:00 |
20231010-1 |
trixie |
armhf |
build timeout |
18h 0m 26s |
ff64a-armhf-rb |
virt32c-armhf-rb |
armhf_30/2453 |
| 2024-04-21 19:37:00 |
20231010-1 |
trixie |
amd64 |
reproducible |
8h 43m 18s |
infom01-amd64 |
infom02-amd64 |
amd64_35/7378 |
| 2024-04-21 05:04:00 |
20231010-1 |
trixie |
arm64 |
reproducible |
12h 21m 44s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/7728 |
| 2024-04-21 01:11:00 |
20231010-1 |
trixie |
arm64 |
FTBFS |
3h 34m 52s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/37665 |
| 2024-04-19 14:42:00 |
20231010-1 |
unstable |
amd64 |
reproducible |
18h 12m 19s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/3500 |
| 2024-04-17 17:43:00 |
20231010-1 |
unstable |
arm64 |
reproducible |
20h 23m 2s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/36819 |
| 2024-04-04 07:01:00 |
20231010-1 |
trixie |
amd64 |
reproducible |
8h 58m 51s |
infom02-amd64 |
infom01-amd64 |
amd64_34/3774 |
| 2024-03-31 14:49:00 |
20231010-1 |
unstable |
amd64 |
build timeout |
39h 36m 35s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/2051 |
| 2024-03-27 00:38:00 |
20231010-1 |
unstable |
i386 |
reproducible |
14h 29m 3s |
ionos2-i386 |
ionos16-i386 |
i386_3/17452 |
| 2024-03-24 12:13:00 |
20231010-1 |
trixie |
arm64 |
reproducible |
11h 41m 35s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/11055 |
| 2024-03-19 08:31:00 |
20231010-1 |
unstable |
arm64 |
reproducible |
11h 6m 56s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/26950 |
| 2024-03-10 00:34:00 |
20231010-1 |
trixie |
i386 |
reproducible |
12h 14m 38s |
ionos2-i386 |
ionos6-i386 |
i386_1/18473 |
| 2024-03-07 14:56:00 |
20231010-1 |
trixie |
amd64 |
build timeout |
18h 0m 15s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/13577 |
| 2024-02-06 23:22:00 |
20231010-1 |
trixie |
arm64 |
reproducible |
9h 57m 54s |
codethink01-arm64 |
codethink04-arm64 |
arm64_15/27541 |
| 2024-02-02 08:29:00 |
20231010-1 |
trixie |
armhf |
build timeout |
18h 0m 34s |
virt64b-armhf-rb |
virt32b-armhf-rb |
armhf_6/11177 |
| 2024-02-01 04:53:00 |
20231010-1 |
trixie |
arm64 |
404 |
|
codethink02-arm64 |
codethink03-arm64 |
arm64_7/1314 |
| 2024-01-17 02:15:00 |
20231010-1 |
unstable |
arm64 |
FTBFS |
3m 31s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/217 |
| 2024-01-12 03:37:00 |
20231010-1 |
unstable |
i386 |
404 |
|
ionos16-i386 |
ionos2-i386 |
i386_4/6705 |
| 2024-01-01 15:44:00 |
20231010-1 |
unstable |
armhf |
build timeout |
18h 0m 27s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/509 |
| 2023-12-31 00:04:00 |
20231010-1 |
unstable |
amd64 |
build timeout |
18h 0m 26s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/12337 |
| 2023-12-29 11:41:00 |
20230420-4 |
trixie |
arm64 |
FTBFS |
15m 57s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/17378 |
| 2023-12-23 14:44:00 |
20231010-1 |
unstable |
arm64 |
FTBFS |
52m 25s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/16363 |
| 2023-12-09 01:27:00 |
20230420-4 |
trixie |
arm64 |
FTBFS |
8h 3m 56s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/12113 |
| 2023-12-04 19:37:00 |
20230420-4 |
unstable |
arm64 |
FTBFS |
10h 23m 11s |
codethink04-arm64 |
codethink02-arm64 |
arm64_22/7311 |
| 2023-11-22 09:48:00 |
20230420-4 |
unstable |
amd64 |
build timeout |
18h 0m 11s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/2959 |
| 2023-11-18 01:41:00 |
20230420-4 |
trixie |
arm64 |
FTBFS |
6h 11m 37s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/2606 |
| 2023-11-14 07:08:00 |
20230420-4 |
unstable |
arm64 |
FTBFS |
6h 20m 15s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/2011 |
| 2023-11-12 04:55:00 |
20230420-4 |
unstable |
armhf |
build timeout |
18h 0m 34s |
cbxi4pro0-armhf-rb |
virt64b-armhf-rb |
armhf_42/2395 |
| 2023-11-07 13:51:00 |
20230420-4 |
trixie |
armhf |
build timeout |
18h 0m 31s |
wbq0-armhf-rb |
virt64a-armhf-rb |
armhf_37/2232 |
| 2023-10-30 07:24:00 |
20230420-4 |
trixie |
amd64 |
build timeout |
18h 0m 16s |
ionos5-amd64 |
ionos1-amd64 |
amd64_2/2448 |
| 2023-10-29 07:33:00 |
20230420-4 |
trixie |
arm64 |
FTBFS |
46m 18s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/2796 |
| 2023-10-23 14:11:00 |
20230420-4 |
trixie |
arm64 |
depwait |
40s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/2127 |
| 2023-10-23 11:52:00 |
20230420-4 |
trixie |
arm64 |
depwait |
52s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/2073 |
| 2023-10-23 02:11:00 |
20230420-4 |
trixie |
arm64 |
depwait |
54s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/2114 |
| 2023-10-22 23:46:00 |
20230420-4 |
trixie |
arm64 |
depwait |
45s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/2236 |
| 2023-10-22 18:29:00 |
20230420-4 |
trixie |
amd64 |
depwait |
45s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/2374 |
| 2023-10-20 11:06:00 |
20230420-4 |
trixie |
arm64 |
404 |
|
codethink14-arm64 |
codethink15-arm64 |
arm64_24/1917 |
| 2023-10-13 22:17:00 |
20230420-4 |
trixie |
amd64 |
depwait |
41s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/1 |
| 2023-10-04 18:34:00 |
20230420-4 |
unstable |
arm64 |
build timeout |
18h 0m 26s |
codethink16-arm64 |
codethink9-arm64 |
arm64_29/3541 |
| 2023-07-26 15:19:00 |
20230420-4 |
unstable |
amd64 |
build timeout |
18h 0m 24s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/3642 |
| 2023-06-26 17:56:00 |
20230420-4 |
trixie |
i386 |
reproducible |
11h 39m 58s |
ionos2-i386 |
ionos16-i386 |
i386_3/2752 |
| 2023-06-26 16:54:00 |
20230420-4 |
trixie |
amd64 |
build timeout |
18h 0m 15s |
ionos1-amd64 |
ionos15-amd64 |
amd64_27/2309 |
| 2023-06-24 20:10:00 |
20230420-4 |
trixie |
arm64 |
build timeout |
18h 0m 12s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/2262 |
| 2023-06-24 18:49:00 |
20230420-4 |
trixie |
armhf |
build timeout |
38h 57m 44s |
jtx1b-armhf-rb |
virt32c-armhf-rb |
armhf_36/5093 |
| 2023-06-24 08:22:00 |
20230420-4 |
unstable |
i386 |
reproducible |
11h 55m 33s |
ionos6-i386 |
ionos12-i386 |
i386_6/4251 |
| 2023-06-23 12:50:00 |
20230420-4 |
unstable |
amd64 |
build timeout |
18h 0m 12s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/1998 |
| 2023-06-22 21:54:00 |
20230420-4 |
unstable |
arm64 |
build timeout |
18h 0m 29s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/2197 |
| 2023-06-22 15:22:00 |
20230420-4 |
unstable |
armhf |
build timeout |
18h 0m 38s |
virt32b-armhf-rb |
virt64b-armhf-rb |
armhf_17/2356 |
| 2023-06-21 23:01:00 |
20230420-3 |
unstable |
i386 |
not for us |
|
ionos6-i386 |
ionos2-i386 |
i386_2/2276 |
| 2023-06-20 19:58:00 |
20230420-3 |
unstable |
armhf |
not for us |
|
virt64a-armhf-rb |
cbxi4pro0-armhf-rb |
armhf_41/8770 |
| 2023-06-20 16:25:00 |
20230420-3 |
unstable |
amd64 |
build timeout |
18h 0m 30s |
ionos11-amd64 |
ionos15-amd64 |
amd64_31/1557 |
| 2023-06-19 23:44:00 |
20230420-2 |
unstable |
arm64 |
build timeout |
18h 0m 18s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/2580 |
| 2023-06-18 15:17:00 |
20230420-2 |
unstable |
armhf |
FTBFS |
2h 11m 46s |
virt64c-armhf-rb |
virt32c-armhf-rb |
armhf_32/4028 |
| 2023-06-18 13:23:00 |
20230420-2 |
unstable |
i386 |
FTBFS |
31m 41s |
ionos6-i386 |
ionos2-i386 |
i386_2/1842 |
| 2023-06-17 12:00:00 |
20230420-1 |
unstable |
amd64 |
FTBFS |
14h 33m 56s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/1832 |
| 2023-06-17 10:59:00 |
20230420-1 |
unstable |
i386 |
FTBFS |
39m 30s |
ionos2-i386 |
ionos6-i386 |
i386_9/2076 |
| 2023-06-17 06:22:00 |
20230420-1 |
unstable |
armhf |
FTBFS |
2h 26m 48s |
virt64a-armhf-rb |
cbxi4b-armhf-rb |
armhf_12/792 |
| 2023-06-06 18:33:00 |
20220816-2 |
bookworm |
amd64 |
reproducible |
24h 6m 56s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/366 |
| 2023-05-30 09:17:00 |
20220816-2 |
bookworm |
armhf |
build timeout |
18h 0m 32s |
ff4a-armhf-rb |
virt64b-armhf-rb |
armhf_24/922 |
| 2023-05-20 14:16:00 |
20220816-2 |
bookworm |
i386 |
reproducible |
13h 35m 25s |
ionos2-i386 |
ionos16-i386 |
i386_3/12407 |
| 2023-05-08 19:08:00 |
20220816-2 |
unstable |
armhf |
build timeout |
18h 0m 24s |
ff64a-armhf-rb |
virt32b-armhf-rb |
armhf_13/14121 |
| 2023-05-01 15:16:00 |
20220816-2 |
unstable |
amd64 |
reproducible |
26h 51m 0s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/14427 |
| 2023-04-18 09:22:00 |
20220816-2 |
bookworm |
armhf |
build timeout |
18h 0m 27s |
virt32b-armhf-rb |
virt64b-armhf-rb |
armhf_17/7802 |
| 2023-04-17 19:33:00 |
20220816-2 |
bookworm |
arm64 |
build timeout |
18h 0m 18s |
codethink10-arm64 |
codethink13-arm64 |
arm64_7/6093 |
| 2023-04-11 03:18:00 |
20220816-2 |
bookworm |
amd64 |
reproducible |
27h 44m 52s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/9419 |
| 2023-04-09 23:23:00 |
20220816-2 |
unstable |
arm64 |
build timeout |
18h 0m 18s |
codethink14-arm64 |
codethink15-arm64 |
arm64_24/10572 |
| 2023-04-02 01:21:00 |
20220816-2 |
bookworm |
i386 |
reproducible |
9h 47m 24s |
ionos2-i386 |
ionos16-i386 |
i386_11/12775 |
| 2023-03-27 19:18:00 |
20220816-2 |
unstable |
amd64 |
reproducible |
25h 17m 12s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/16779 |
| 2023-03-19 20:03:00 |
20220816-2 |
unstable |
armhf |
build timeout |
18h 0m 26s |
wbq0-armhf-rb |
virt64b-armhf-rb |
armhf_38/1986 |
| 2023-03-13 18:04:00 |
20220816-2 |
bookworm |
arm64 |
build timeout |
18h 0m 13s |
codethink9-arm64 |
codethink12-arm64 |
arm64_2/7845 |
| 2023-03-13 04:08:00 |
20220816-2 |
bookworm |
armhf |
build timeout |
18h 0m 47s |
cbxi4pro0-armhf-rb |
virt64b-armhf-rb |
armhf_42/3985 |
| 2023-03-08 12:14:00 |
20220816-2 |
unstable |
arm64 |
build timeout |
18h 0m 19s |
codethink11-arm64 |
codethink10-arm64 |
arm64_9/413 |
| 2023-03-06 10:57:00 |
20220816-2 |
bookworm |
amd64 |
reproducible |
18h 39m 52s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/10333 |
| 2023-02-28 19:08:00 |
20220816-2 |
unstable |
amd64 |
reproducible |
20h 54m 54s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/6924 |
| 2023-02-01 09:35:00 |
20220816-2 |
bookworm |
i386 |
reproducible |
13h 46m 46s |
ionos12-i386 |
ionos16-i386 |
i386_7/1202 |
| 2023-01-30 23:03:00 |
20220816-2 |
bookworm |
arm64 |
build timeout |
18h 0m 20s |
codethink14-arm64 |
codethink9-arm64 |
arm64_21/13672 |
| 2023-01-30 19:59:00 |
20220816-2 |
bookworm |
amd64 |
build timeout |
18h 0m 14s |
ionos5-amd64 |
ionos1-amd64 |
amd64_2/592 |
| 2023-01-30 18:58:00 |
20220816-2 |
bookworm |
armhf |
build timeout |
18h 0m 32s |
virt64c-armhf-rb |
cbxi4a-armhf-rb |
armhf_19/341 |
| 2023-01-28 00:11:00 |
20220816-2 |
unstable |
i386 |
FTBFS |
19h 11m 26s |
ionos6-i386 |
ionos2-i386 |
i386_2/501 |
| 2023-01-26 08:54:00 |
20220816-2 |
unstable |
armhf |
build timeout |
18h 0m 31s |
virt64a-armhf-rb |
cbxi4b-armhf-rb |
armhf_5/1548 |
| 2023-01-26 08:54:00 |
20220816-2 |
unstable |
arm64 |
build timeout |
18h 0m 8s |
codethink12-arm64 |
codethink15-arm64 |
arm64_16/13371 |
| 2023-01-26 08:53:00 |
20220816-2 |
unstable |
amd64 |
build timeout |
18h 0m 12s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/12898 |
| 2023-01-02 20:07:00 |
20220816-1 |
bookworm |
amd64 |
reproducible |
20h 42m 43s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/6704 |
| 2022-12-31 04:57:00 |
20220816-1 |
bookworm |
arm64 |
build timeout |
18h 0m 21s |
codethink10-arm64 |
codethink11-arm64 |
arm64_6/16211 |
| 2022-12-25 04:26:00 |
20220816-1 |
unstable |
arm64 |
build timeout |
18h 0m 15s |
codethink11-arm64 |
codethink16-arm64 |
arm64_12/6176 |
| 2022-12-25 04:10:00 |
20220816-1 |
unstable |
amd64 |
reproducible |
17h 33m 38s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/6778 |
| 2022-11-29 20:40:00 |
20220816-1 |
bookworm |
armhf |
build timeout |
18h 0m 31s |
ff64a-armhf-rb |
virt32b-armhf-rb |
armhf_13/5214 |
| 2022-11-25 14:36:00 |
20220816-1 |
bookworm |
i386 |
reproducible |
8h 44m 47s |
ionos2-i386 |
ionos16-i386 |
i386_11/1859 |
| 2022-11-17 20:32:00 |
20220816-1 |
bookworm |
amd64 |
reproducible |
26h 14m 27s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/6255 |
| 2022-11-16 19:35:00 |
20220816-1 |
bookworm |
arm64 |
build timeout |
18h 0m 22s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/13062 |
| 2022-11-12 19:04:00 |
20220816-1 |
unstable |
amd64 |
reproducible |
24h 15m 58s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/14988 |
| 2022-11-12 09:52:00 |
20220816-1 |
unstable |
arm64 |
build timeout |
18h 0m 30s |
codethink15-arm64 |
codethink12-arm64 |
arm64_26/12375 |
| 2022-11-02 03:41:00 |
20220816-1 |
unstable |
armhf |
build timeout |
18h 0m 34s |
cbxi4pro0-armhf-rb |
jtx1c-armhf-rb |
armhf_44/832 |
| 2022-10-18 00:26:00 |
20220816-1 |
bookworm |
armhf |
build timeout |
18h 0m 35s |
cbxi4a-armhf-rb |
jtx1a-armhf-rb |
armhf_1/5 |
| 2022-10-14 22:29:00 |
20220816-1 |
bookworm |
amd64 |
reproducible |
26h 8m 24s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/12081 |
| 2022-10-11 04:38:00 |
20220816-1 |
unstable |
amd64 |
reproducible |
15h 24m 22s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/7712 |
| 2022-10-11 02:40:00 |
20220816-1 |
bookworm |
arm64 |
build timeout |
18h 0m 35s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/9836 |
| 2022-10-09 00:03:00 |
20220816-1 |
unstable |
arm64 |
reproducible |
36h 22m 26s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/9654 |
| 2022-08-25 10:26:00 |
20220816-1 |
bookworm |
i386 |
unreproducible |
11h 14m 32s |
ionos2-i386 |
ionos16-i386 |
i386_3/3 |
| 2022-08-25 00:21:00 |
20220816-1 |
bookworm |
armhf |
build timeout |
18h 0m 25s |
ff64a-armhf-rb |
virt32b-armhf-rb |
armhf_13/2961 |
| 2022-08-24 19:23:00 |
20220816-1 |
bookworm |
arm64 |
build timeout |
18h 0m 11s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/5192 |
| 2022-08-24 18:18:00 |
20220816-1 |
bookworm |
amd64 |
build timeout |
18h 0m 19s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/6900 |
| 2022-08-23 00:40:00 |
20220816-1 |
unstable |
armhf |
build timeout |
18h 0m 24s |
ff64a-armhf-rb |
virt32c-armhf-rb |
armhf_30/2923 |
| 2022-08-22 23:33:00 |
20220816-1 |
unstable |
arm64 |
build timeout |
18h 0m 27s |
codethink11-arm64 |
codethink10-arm64 |
arm64_9/4742 |
| 2022-08-22 22:32:00 |
20220816-1 |
unstable |
i386 |
unreproducible |
17h 21m 45s |
ionos12-i386 |
ionos16-i386 |
i386_7/6887 |
| 2022-08-22 22:02:00 |
20220816-1 |
unstable |
amd64 |
reproducible |
30h 24m 56s |
ionos15-amd64 |
ionos1-amd64 |
amd64_28/1224 |
| 2022-08-18 06:52:00 |
20220204-1 |
unstable |
amd64 |
reproducible |
15h 3m 32s |
ionos15-amd64 |
ionos1-amd64 |
amd64_28/889 |
| 2022-07-30 01:15:00 |
20220204-1 |
bookworm |
i386 |
unreproducible |
13h 41m 22s |
ionos16-i386 |
ionos12-i386 |
i386_8/5335 |
| 2022-07-28 15:53:00 |
20220204-1 |
bookworm |
amd64 |
reproducible |
25h 37m 21s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/3421 |
| 2022-07-28 03:55:00 |
20220204-1 |
bookworm |
arm64 |
unreproducible |
38h 44m 16s |
codethink11-arm64 |
codethink14-arm64 |
arm64_11/2117 |
| 2022-07-28 01:47:00 |
20220204-1 |
bookworm |
armhf |
build timeout |
18h 0m 26s |
cbxi4a-armhf-rb |
jtx1a-armhf-rb |
armhf_1/563 |
| 2022-07-27 12:15:00 |
20220204-1 |
unstable |
armhf |
build timeout |
37h 12m 36s |
virt64b-armhf-rb |
cbxi4a-armhf-rb |
armhf_7/1154 |
| 2022-07-26 23:59:00 |
20220204-1 |
unstable |
i386 |
unreproducible |
9h 15m 24s |
ionos12-i386 |
ionos6-i386 |
i386_5/4161 |
| 2022-07-25 08:51:00 |
20220204-1 |
unstable |
amd64 |
reproducible |
11h 46m 36s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/3482 |
| 2022-07-25 01:22:00 |
20220204-1 |
unstable |
arm64 |
unreproducible |
26h 32m 23s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/2513 |