build history of coq-serapi on amd64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 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-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 01:14:00 |
8.19.0+0.19.3-2 |
unstable |
amd64 |
reproducible |
13m 53s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/21847 |
| 2024-05-26 16:18:00 |
8.19.0+0.19.3-2 |
unstable |
amd64 |
404 |
|
infom02-amd64 |
infom01-amd64 |
amd64_38/10896 |