build history of coq-serapi on arm64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 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-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-20 17:28:00 |
8.20.0+0.20.0-1 |
unstable |
arm64 |
reproducible |
9m 14s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/69270 |
| 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-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-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-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-04 12:15:00 |
8.19.0+0.19.3-4 |
unstable |
arm64 |
reproducible |
7m 30s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/55602 |
| 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-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 |