build history of coq-relation-algebra on arm64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-12-18 22:00:00 |
1.7.11-1 |
trixie |
arm64 |
reproducible |
8m 25s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/74155 |
| 2024-12-13 03:05:00 |
1.7.11-1 |
unstable |
arm64 |
reproducible |
8m 48s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/48559 |
| 2024-11-29 07:09:00 |
1.7.11-1 |
trixie |
arm64 |
reproducible |
18m 52s |
codethink02-arm64 |
codethink01-arm64 |
arm64_16/38775 |
| 2024-11-23 11:03:00 |
1.7.10-4 |
trixie |
arm64 |
reproducible |
7m 29s |
codethink04-arm64 |
codethink02-arm64 |
arm64_22/40974 |
| 2024-11-21 08:14:00 |
1.7.11-1 |
unstable |
arm64 |
reproducible |
10m 57s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/66570 |
| 2024-11-20 16:14:00 |
1.7.11-1 |
unstable |
arm64 |
404 |
|
codethink03-arm64 |
codethink04-arm64 |
arm64_11/71576 |
| 2024-10-27 02:48:00 |
1.7.10-4 |
trixie |
arm64 |
reproducible |
34m 5s |
codethink01-arm64 |
codethink04-arm64 |
arm64_15/67691 |
| 2024-10-26 17:22:00 |
1.7.10-4 |
unstable |
arm64 |
reproducible |
38m 10s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/41557 |
| 2024-10-01 21:51:00 |
1.7.10-4 |
trixie |
arm64 |
reproducible |
6m 52s |
codethink03-arm64 |
codethink02-arm64 |
arm64_21/32717 |
| 2024-10-01 07:42:00 |
1.7.10-4 |
unstable |
arm64 |
reproducible |
5m 30s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/57669 |
| 2024-09-06 02:27:00 |
1.7.10-4 |
trixie |
arm64 |
reproducible |
9m 18s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/34622 |
| 2024-09-03 13:18:00 |
1.7.10-4 |
unstable |
arm64 |
reproducible |
7m 6s |
codethink04-arm64 |
codethink02-arm64 |
arm64_22/28500 |
| 2024-08-07 03:54:00 |
1.7.10-4 |
unstable |
arm64 |
reproducible |
4m 45s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/54842 |
| 2024-08-04 12:23:00 |
1.7.10-4 |
unstable |
arm64 |
depwait |
41s |
codethink01-arm64 |
codethink04-arm64 |
arm64_15/55001 |
| 2024-07-25 21:21:00 |
1.7.10-3 |
trixie |
arm64 |
reproducible |
41m 21s |
codethink02-arm64 |
codethink01-arm64 |
arm64_4/28619 |
| 2024-07-19 03:52:00 |
1.7.10-3 |
unstable |
arm64 |
reproducible |
6m 15s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/29938 |
| 2024-06-24 09:11:00 |
1.7.10-3 |
trixie |
arm64 |
reproducible |
19m 48s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/42018 |
| 2024-06-16 13:41:00 |
1.7.10-3 |
unstable |
arm64 |
reproducible |
6m 20s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/40860 |
| 2024-06-03 09:26:00 |
1.7.9-2 |
trixie |
arm64 |
reproducible |
5m 38s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/21453 |
| 2024-05-23 17:44:00 |
1.7.10-3 |
unstable |
arm64 |
reproducible |
5m 39s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/37286 |
| 2024-05-12 21:01:00 |
1.7.9-2 |
trixie |
arm64 |
reproducible |
5m 24s |
codethink01-arm64 |
codethink03-arm64 |
arm64_2/35134 |
| 2024-05-01 21:00:00 |
1.7.10-3 |
unstable |
arm64 |
reproducible |
7m 8s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/18153 |
| 2024-05-01 04:03:00 |
1.7.10-3 |
unstable |
arm64 |
404 |
|
codethink01-arm64 |
codethink02-arm64 |
arm64_1/17973 |
| 2024-04-29 21:45:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
41s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/16372 |
| 2024-04-27 15:04:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
26s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/15133 |
| 2024-04-19 22:29:00 |
1.7.9-2 |
trixie |
arm64 |
reproducible |
7m 25s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/31227 |
| 2024-04-07 07:07:00 |
1.7.9-2 |
unstable |
arm64 |
reproducible |
8m 23s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/35248 |
| 2024-04-05 21:48:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
30s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/11198 |
| 2024-03-22 02:38:00 |
1.7.9-2 |
trixie |
arm64 |
reproducible |
6m 6s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/2508 |
| 2024-02-25 00:11:00 |
1.7.9-2 |
unstable |
arm64 |
reproducible |
5m 49s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/30683 |
| 2024-01-27 03:31:00 |
1.7.9-2 |
trixie |
arm64 |
reproducible |
10m 50s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/26210 |
| 2024-01-03 00:46:00 |
1.7.9-2 |
unstable |
arm64 |
reproducible |
9m 49s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/22325 |
| 2023-12-31 16:27:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
39s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/21489 |
| 2023-12-29 05:38:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
19s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/21768 |
| 2023-12-28 16:34:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
6m 4s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/11920 |
| 2023-12-27 01:30:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
28s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/20969 |
| 2023-12-25 15:06:00 |
1.7.9-2 |
unstable |
arm64 |
404 |
|
codethink02-arm64 |
codethink04-arm64 |
arm64_20/16687 |
| 2023-12-20 22:36:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
5m 20s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/16442 |
| 2023-12-08 07:17:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
6m 46s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/8394 |
| 2023-12-04 05:58:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
5m 20s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/11125 |
| 2023-11-16 18:07:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
6m 9s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/2823 |
| 2023-11-13 13:11:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
6m 2s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/2117 |
| 2023-10-18 20:07:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
22m 37s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/86 |
| 2023-09-29 14:35:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
27m 1s |
codethink9-arm64 |
codethink12-arm64 |
arm64_2/534 |
| 2023-06-24 22:43:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
25m 32s |
codethink14-arm64 |
codethink15-arm64 |
arm64_24/2081 |
| 2023-06-20 22:55:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
24m 41s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/2237 |
| 2023-04-18 05:06:00 |
1.7.8-2 |
bookworm |
arm64 |
reproducible |
27m 15s |
codethink10-arm64 |
codethink11-arm64 |
arm64_6/4315 |
| 2023-04-10 09:57:00 |
1.7.8-2 |
unstable |
arm64 |
reproducible |
45m 14s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/6565 |
| 2023-03-13 23:19:00 |
1.7.8-2 |
bookworm |
arm64 |
reproducible |
20m 42s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/23391 |
| 2023-03-08 18:30:00 |
1.7.8-2 |
unstable |
arm64 |
reproducible |
23m 9s |
codethink16-arm64 |
codethink9-arm64 |
arm64_29/16156 |
| 2023-01-30 23:49:00 |
1.7.8-2 |
bookworm |
arm64 |
reproducible |
26m 42s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/19937 |
| 2023-01-26 18:08:00 |
1.7.8-2 |
unstable |
arm64 |
reproducible |
27m 40s |
codethink16-arm64 |
codethink15-arm64 |
arm64_32/15338 |
| 2022-12-26 01:07:00 |
1.7.8-1 |
bookworm |
arm64 |
reproducible |
24m 24s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/16258 |
| 2022-12-17 05:46:00 |
1.7.8-1 |
unstable |
arm64 |
reproducible |
23m 41s |
codethink10-arm64 |
codethink11-arm64 |
arm64_6/15246 |
| 2022-11-10 09:35:00 |
1.7.8-1 |
bookworm |
arm64 |
reproducible |
26m 2s |
codethink9-arm64 |
codethink10-arm64 |
arm64_1/1831 |
| 2022-11-06 18:21:00 |
1.7.8-1 |
unstable |
arm64 |
reproducible |
19m 35s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/11424 |
| 2022-10-05 00:17:00 |
1.7.8-1 |
bookworm |
arm64 |
unreproducible |
25m 30s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/8033 |
| 2022-10-03 15:22:00 |
1.7.8-1 |
unstable |
arm64 |
reproducible |
23m 22s |
codethink14-arm64 |
codethink13-arm64 |
arm64_23/8453 |