build history of coq-serapi on armhf
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 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-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-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-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-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 |