build history of coq-serapi on arm64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 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-19 00:33:00 |
8.19.0+0.19.3-3 |
unstable |
arm64 |
reproducible |
6m 19s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/26238 |
| 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-26 16:31:00 |
8.19.0+0.19.3-2 |
unstable |
arm64 |
404 |
|
codethink03-arm64 |
codethink04-arm64 |
arm64_11/46085 |