build history of coq-unimath
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 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 |
arm64 |
build timeout |
18h 0m 8s |
codethink12-arm64 |
codethink15-arm64 |
arm64_16/13371 |
| 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: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 |