build history of coq-serapi
build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
2024-12-22 08:34:00 |
8.20.0+0.20.0-1 |
unstable |
i386 |
depwait |
8m 16s |
ionos16-i386 |
ionos2-i386 |
i386_4/46027 |
2024-12-18 21:51:00 |
8.20.0+0.20.0-1 |
trixie |
arm64 |
reproducible |
5m 4s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/50132 |
2024-12-18 17:28:00 |
8.20.0+0.20.0-1 |
trixie |
amd64 |
reproducible |
15m 43s |
ionos1-amd64 |
ionos15-amd64 |
amd64_29/28909 |
2024-12-18 15:27:00 |
8.20.0+0.20.0-1 |
trixie |
i386 |
depwait |
45s |
ionos2-i386 |
ionos16-i386 |
i386_3/48900 |
2024-12-14 09:10:00 |
8.20.0+0.20.0-1 |
unstable |
armhf |
depwait |
1m 51s |
ff64a-armhf-rb |
virt32a-armhf-rb |
armhf_18/9204 |
2024-12-13 17:08:00 |
8.20.0+0.20.0-1 |
unstable |
i386 |
depwait |
36s |
ionos12-i386 |
ionos6-i386 |
i386_5/42714 |
2024-12-13 00:34:00 |
8.20.0+0.20.0-1 |
trixie |
i386 |
depwait |
39s |
ionos16-i386 |
ionos2-i386 |
i386_4/44533 |
2024-12-12 23:03:00 |
8.20.0+0.20.0-1 |
unstable |
arm64 |
reproducible |
6m 55s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/73562 |
2024-12-12 10:04:00 |
8.20.0+0.20.0-1 |
unstable |
amd64 |
reproducible |
12m 57s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/40416 |
2024-12-03 18:27:00 |
8.20.0+0.20.0-1 |
trixie |
i386 |
depwait |
24s |
infom08-i386 |
infom07-i386 |
i386_16/50786 |
2024-12-03 10:42:00 |
8.20.0+0.20.0-1 |
unstable |
i386 |
depwait |
50s |
ionos12-i386 |
ionos16-i386 |
i386_7/50094 |
2024-12-01 14:10:00 |
8.20.0+0.20.0-1 |
trixie |
i386 |
depwait |
36s |
infom07-i386 |
infom08-i386 |
i386_17/30804 |
2024-11-30 10:15:00 |
8.20.0+0.20.0-1 |
unstable |
i386 |
depwait |
32s |
ionos12-i386 |
ionos6-i386 |
i386_5/40666 |
2024-11-29 17:30:00 |
8.20.0+0.20.0-1 |
trixie |
armhf |
depwait |
2m 59s |
cbxi4a-armhf-rb |
virt64z-armhf-rb |
armhf_1/7432 |
2024-11-29 09:12:00 |
8.20.0+0.20.0-1 |
trixie |
i386 |
depwait |
30s |
ionos2-i386 |
ionos6-i386 |
i386_9/33322 |
2024-11-29 07:19:00 |
8.20.0+0.20.0-1 |
trixie |
arm64 |
reproducible |
18m 24s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/48640 |
2024-11-29 05:20:00 |
8.20.0+0.20.0-1 |
trixie |
amd64 |
reproducible |
14m 20s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/23386 |
2024-11-27 00:25:00 |
8.20.0+0.20.0-1 |
unstable |
armhf |
depwait |
2m 30s |
ff64a-armhf-rb |
virt32b-armhf-rb |
armhf_13/6761 |
2024-11-26 17:09:00 |
8.20.0+0.20.0-1 |
unstable |
i386 |
depwait |
44s |
infom08-i386 |
infom07-i386 |
i386_14/52855 |
2024-11-25 17:11:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
41s |
ionos2-i386 |
ionos6-i386 |
i386_1/46084 |
2024-11-24 12:48:00 |
8.19.0+0.19.3-4 |
trixie |
amd64 |
reproducible |
9m 41s |
infom02-amd64 |
infom01-amd64 |
amd64_38/35096 |
2024-11-23 20:56:00 |
8.20.0+0.20.0-1 |
unstable |
i386 |
depwait |
30s |
ionos16-i386 |
ionos12-i386 |
i386_8/49031 |
2024-11-23 10:59:00 |
8.19.0+0.19.3-4 |
trixie |
arm64 |
reproducible |
7m 29s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/45720 |
2024-11-22 14:21:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
28s |
infom08-i386 |
infom07-i386 |
i386_16/48998 |
2024-11-21 09:32:00 |
8.20.0+0.20.0-1 |
unstable |
amd64 |
reproducible |
10m 8s |
ionos11-amd64 |
ionos5-amd64 |
amd64_31/25293 |
2024-11-20 18:34:00 |
8.20.0+0.20.0-1 |
unstable |
i386 |
depwait |
39s |
ionos12-i386 |
ionos16-i386 |
i386_12/29680 |
2024-11-20 17:28:00 |
8.20.0+0.20.0-1 |
unstable |
arm64 |
reproducible |
9m 14s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/69270 |
2024-11-20 16:40:00 |
8.20.0+0.20.0-1 |
unstable |
amd64 |
404 |
|
ionos11-amd64 |
ionos15-amd64 |
amd64_27/39688 |
2024-11-20 02:22:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
32s |
infom07-i386 |
infom08-i386 |
i386_19/30579 |
2024-11-19 19:34:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
37s |
ionos6-i386 |
ionos2-i386 |
i386_2/45181 |
2024-11-19 19:04:00 |
8.19.0+0.19.3-4 |
unstable |
amd64 |
reproducible |
6m 37s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/38812 |
2024-11-17 02:38:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
38s |
ionos6-i386 |
ionos12-i386 |
i386_6/44115 |
2024-11-15 07:56:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
43s |
infom07-i386 |
infom08-i386 |
i386_13/50532 |
2024-11-14 02:40:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
34s |
ionos2-i386 |
ionos6-i386 |
i386_1/43984 |
2024-11-12 17:46:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
30s |
ionos2-i386 |
ionos6-i386 |
i386_9/30423 |
2024-11-11 21:01:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
35s |
ionos2-i386 |
ionos16-i386 |
i386_3/41664 |
2024-10-30 23:58:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
1m 55s |
ionos6-i386 |
ionos12-i386 |
i386_6/42798 |
2024-10-30 12:16:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
42s |
ionos2-i386 |
ionos6-i386 |
i386_9/29904 |
2024-10-28 00:27:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
28s |
ionos6-i386 |
ionos2-i386 |
i386_11/30866 |
2024-10-27 02:19:00 |
8.19.0+0.19.3-4 |
trixie |
arm64 |
reproducible |
28m 0s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/41579 |
2024-10-26 05:57:00 |
8.19.0+0.19.3-4 |
unstable |
arm64 |
reproducible |
7m 23s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/41558 |
2024-10-25 07:24:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
53s |
ionos12-i386 |
ionos16-i386 |
i386_7/44310 |
2024-10-25 07:12:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
51s |
ionos12-i386 |
ionos16-i386 |
i386_12/26403 |
2024-10-23 18:57:00 |
8.19.0+0.19.3-4 |
trixie |
amd64 |
reproducible |
8m 42s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/21172 |
2024-10-23 03:19:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
44s |
infom07-i386 |
infom08-i386 |
i386_17/24397 |
2024-10-23 00:27:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
51s |
infom07-i386 |
infom08-i386 |
i386_17/24292 |
2024-10-19 00:47:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
41s |
infom08-i386 |
infom07-i386 |
i386_18/27043 |
2024-10-17 10:07:00 |
8.19.0+0.19.3-4 |
unstable |
amd64 |
reproducible |
7m 2s |
infom02-amd64 |
infom01-amd64 |
amd64_38/30504 |
2024-10-16 07:16:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
42s |
ionos6-i386 |
ionos2-i386 |
i386_11/28763 |
2024-10-15 04:24:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
49s |
ionos12-i386 |
ionos16-i386 |
i386_12/24775 |
2024-10-14 02:10:00 |
8.19.0+0.19.3-4 |
trixie |
armhf |
depwait |
1m 47s |
virt32a-armhf-rb |
virt64z-armhf-rb |
armhf_9/9641 |
2024-10-12 07:24:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
33s |
ionos16-i386 |
ionos12-i386 |
i386_8/42941 |
2024-10-11 18:46:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
42s |
ionos12-i386 |
ionos6-i386 |
i386_5/34505 |
2024-10-06 14:35:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
42s |
infom07-i386 |
infom08-i386 |
i386_15/41135 |
2024-10-06 07:40:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
39s |
ionos16-i386 |
ionos12-i386 |
i386_8/42019 |
2024-10-01 21:18:00 |
8.19.0+0.19.3-4 |
trixie |
arm64 |
reproducible |
9m 14s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/38080 |
2024-09-30 07:13:00 |
8.19.0+0.19.3-4 |
unstable |
arm64 |
reproducible |
8m 17s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/38917 |
2024-09-29 13:24:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
51s |
infom07-i386 |
infom08-i386 |
i386_19/23234 |
2024-09-28 01:59:00 |
8.19.0+0.19.3-4 |
trixie |
amd64 |
reproducible |
26m 39s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/20518 |
2024-09-21 08:48:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
47s |
infom08-i386 |
infom07-i386 |
i386_14/43312 |
2024-09-21 02:41:00 |
8.19.0+0.19.3-4 |
unstable |
amd64 |
reproducible |
16m 3s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/20710 |
2024-09-20 14:27:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
25s |
infom08-i386 |
infom07-i386 |
i386_20/24646 |
2024-09-18 14:58:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
39s |
infom07-i386 |
infom08-i386 |
i386_19/21938 |
2024-09-17 19:44:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
depwait |
34s |
infom07-i386 |
infom08-i386 |
i386_19/21742 |
2024-09-14 03:09:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
33s |
ionos16-i386 |
ionos12-i386 |
i386_8/40134 |
2024-09-11 00:09:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
40s |
infom08-i386 |
infom07-i386 |
i386_18/22214 |
2024-09-07 07:32:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
40s |
ionos16-i386 |
ionos12-i386 |
i386_10/22775 |
2024-09-05 18:41:00 |
8.19.0+0.19.3-4 |
trixie |
amd64 |
reproducible |
5m 10s |
infom02-amd64 |
infom01-amd64 |
amd64_34/26465 |
2024-09-05 09:12:00 |
8.19.0+0.19.3-4 |
trixie |
arm64 |
reproducible |
9m 9s |
codethink02-arm64 |
codethink01-arm64 |
arm64_16/26363 |
2024-09-04 18:14:00 |
8.19.0+0.19.3-4 |
trixie |
i386 |
depwait |
27s |
ionos2-i386 |
ionos6-i386 |
i386_1/36275 |
2024-09-04 16:22:00 |
8.19.0+0.19.3-4 |
trixie |
amd64 |
404 |
|
ionos11-amd64 |
ionos5-amd64 |
amd64_21/17868 |
2024-09-02 07:45:00 |
8.19.0+0.19.3-4 |
unstable |
arm64 |
reproducible |
6m 38s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/59626 |
2024-08-30 05:22:00 |
8.19.0+0.19.3-4 |
unstable |
amd64 |
reproducible |
8m 36s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/19869 |
2024-08-14 10:35:00 |
8.19.0+0.19.3-3 |
trixie |
amd64 |
reproducible |
5m 20s |
infom02-amd64 |
infom01-amd64 |
amd64_34/23673 |
2024-08-10 18:47:00 |
8.19.0+0.19.3-4 |
unstable |
armhf |
depwait |
2m 6s |
cbxi4a-armhf-rb |
virt64z-armhf-rb |
armhf_1/6657 |
2024-08-06 05:37:00 |
8.19.0+0.19.3-4 |
unstable |
i386 |
reproducible |
42m 49s |
infom08-i386 |
infom07-i386 |
i386_18/15712 |
2024-08-04 12:15:00 |
8.19.0+0.19.3-4 |
unstable |
arm64 |
reproducible |
7m 30s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/55602 |
2024-08-04 12:02:00 |
8.19.0+0.19.3-4 |
unstable |
amd64 |
reproducible |
5m 53s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/15363 |
2024-07-25 20:59:00 |
8.19.0+0.19.3-3 |
trixie |
arm64 |
reproducible |
21m 29s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/50357 |
2024-07-22 08:17:00 |
8.19.0+0.19.3-3 |
unstable |
arm64 |
reproducible |
7m 20s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/50232 |
2024-07-20 19:38:00 |
8.19.0+0.19.3-3 |
trixie |
amd64 |
reproducible |
9m 13s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/27727 |
2024-07-17 06:11:00 |
8.19.0+0.19.3-3 |
unstable |
amd64 |
reproducible |
10m 26s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/13340 |
2024-07-07 04:44:00 |
8.19.0+0.19.3-3 |
trixie |
armhf |
reproducible |
19m 33s |
virt32a-armhf-rb |
virt64z-armhf-rb |
armhf_9/7960 |
2024-06-25 00:45:00 |
8.19.0+0.19.3-3 |
trixie |
i386 |
reproducible |
28m 3s |
ionos6-i386 |
ionos2-i386 |
i386_2/30573 |
2024-06-24 15:07:00 |
8.19.0+0.19.3-3 |
trixie |
arm64 |
reproducible |
18m 58s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/48176 |
2024-06-24 11:28:00 |
8.19.0+0.19.3-3 |
trixie |
amd64 |
reproducible |
19m 16s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/25201 |
2024-06-21 12:13:00 |
8.19.0+0.19.3-3 |
unstable |
armhf |
reproducible |
20m 19s |
virt64a-armhf-rb |
virt32b-armhf-rb |
armhf_12/6720 |
2024-06-19 00:33:00 |
8.19.0+0.19.3-3 |
unstable |
arm64 |
reproducible |
6m 19s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/26238 |
2024-06-19 00:21:00 |
8.19.0+0.19.3-3 |
unstable |
i386 |
reproducible |
4m 44s |
infom08-i386 |
infom07-i386 |
i386_20/9654 |
2024-06-19 00:19:00 |
8.19.0+0.19.3-3 |
unstable |
amd64 |
reproducible |
10m 30s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/11924 |
2024-06-18 01:03:00 |
8.19.0+0.19.3-2 |
unstable |
amd64 |
FTBFS |
1m 18s |
ionos5-amd64 |
ionos11-amd64 |
amd64_32/11019 |
2024-06-18 00:59:00 |
8.19.0+0.19.3-2 |
unstable |
amd64 |
FTBFS |
2m 52s |
ionos11-amd64 |
ionos5-amd64 |
amd64_31/10963 |
2024-05-28 13:05:00 |
8.19.0+0.19.3-2 |
unstable |
arm64 |
reproducible |
7m 12s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/20895 |
2024-05-28 01:14:00 |
8.19.0+0.19.3-2 |
unstable |
amd64 |
reproducible |
13m 53s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/21847 |
2024-05-28 00:38:00 |
8.19.0+0.19.3-2 |
unstable |
armhf |
reproducible |
40m 48s |
cbxi4pro0-armhf-rb |
virt64b-armhf-rb |
armhf_35/3274 |
2024-05-26 19:02:00 |
8.19.0+0.19.3-2 |
unstable |
i386 |
reproducible |
18m 58s |
ionos6-i386 |
ionos2-i386 |
i386_11/14161 |
2024-05-26 16:31:00 |
8.19.0+0.19.3-2 |
unstable |
arm64 |
404 |
|
codethink03-arm64 |
codethink04-arm64 |
arm64_11/46085 |
2024-05-26 16:18:00 |
8.19.0+0.19.3-2 |
unstable |
amd64 |
404 |
|
infom02-amd64 |
infom01-amd64 |
amd64_38/10896 |