build history of coq-menhirlib on arm64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-04-28 05:11:00 |
20231231+ds-3 |
unstable |
arm64 |
reproducible |
2m 52s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/15806 |
| 2024-04-19 23:37:00 |
20231231+ds-1 |
trixie |
arm64 |
reproducible |
2m 53s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/36670 |
| 2024-04-18 17:27:00 |
20231231+ds-1 |
unstable |
arm64 |
reproducible |
3m 7s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/14246 |
| 2024-03-22 06:31:00 |
20231231+ds-1 |
trixie |
arm64 |
reproducible |
2m 2s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/33139 |
| 2024-03-20 14:57:00 |
20231231+ds-1 |
unstable |
arm64 |
reproducible |
3m 21s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/2223 |
| 2024-01-27 03:42:00 |
20231231+ds-1 |
trixie |
arm64 |
reproducible |
2m 11s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/1018 |
| 2024-01-26 15:05:00 |
20231231+ds-1 |
unstable |
arm64 |
reproducible |
3m 47s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/24981 |
| 2024-01-17 01:43:00 |
20230608+ds-2 |
unstable |
arm64 |
reproducible |
1m 39s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/372 |
| 2024-01-02 10:20:00 |
20230608+ds-1 |
trixie |
arm64 |
reproducible |
2m 7s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/17705 |
| 2023-12-30 01:49:00 |
20230608+ds-1 |
trixie |
arm64 |
depwait |
53s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/18398 |
| 2023-12-23 15:46:00 |
20230608+ds-2 |
unstable |
arm64 |
reproducible |
1m 51s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/16367 |
| 2023-12-10 01:39:00 |
20230608+ds-1 |
trixie |
arm64 |
reproducible |
2m 0s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/9297 |
| 2023-12-05 18:35:00 |
20230608+ds-1 |
unstable |
arm64 |
reproducible |
2m 32s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/10982 |
| 2023-11-18 07:46:00 |
20230608+ds-1 |
trixie |
arm64 |
reproducible |
2m 14s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/6836 |
| 2023-11-15 14:07:00 |
20230608+ds-1 |
unstable |
arm64 |
reproducible |
2m 53s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/6175 |
| 2023-10-29 01:29:00 |
20230608+ds-1 |
trixie |
arm64 |
reproducible |
2m 13s |
codethink01-arm64 |
codethink04-arm64 |
arm64_15/2604 |
| 2023-10-18 12:02:00 |
20230608+ds-1 |
unstable |
arm64 |
reproducible |
6m 1s |
codethink16-arm64 |
codethink11-arm64 |
arm64_30/90 |
| 2023-06-28 09:52:00 |
20230608+ds-1 |
trixie |
arm64 |
reproducible |
5m 10s |
codethink9-arm64 |
codethink12-arm64 |
arm64_2/3099 |
| 2023-06-26 13:23:00 |
20230608+ds-1 |
unstable |
arm64 |
reproducible |
5m 56s |
codethink10-arm64 |
codethink15-arm64 |
arm64_8/2534 |
| 2023-06-24 23:19:00 |
20220210+ds-5 |
trixie |
arm64 |
reproducible |
5m 55s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/2814 |
| 2023-06-20 04:29:00 |
20220210+ds-5 |
unstable |
arm64 |
reproducible |
5m 1s |
codethink13-arm64 |
codethink16-arm64 |
arm64_20/2400 |
| 2023-04-19 19:48:00 |
20220210+ds-4 |
bookworm |
arm64 |
reproducible |
5m 43s |
codethink10-arm64 |
codethink15-arm64 |
arm64_8/27589 |
| 2023-04-10 23:32:00 |
20220210+ds-4 |
unstable |
arm64 |
reproducible |
5m 22s |
codethink16-arm64 |
codethink9-arm64 |
arm64_29/18947 |
| 2023-03-14 04:20:00 |
20220210+ds-4 |
bookworm |
arm64 |
reproducible |
5m 25s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/5921 |
| 2023-03-08 10:07:00 |
20220210+ds-4 |
unstable |
arm64 |
reproducible |
4m 57s |
codethink16-arm64 |
codethink15-arm64 |
arm64_32/18427 |
| 2023-01-31 01:16:00 |
20220210+ds-4 |
bookworm |
arm64 |
reproducible |
18m 22s |
codethink13-arm64 |
codethink14-arm64 |
arm64_19/18950 |
| 2023-01-25 13:53:00 |
20220210+ds-4 |
unstable |
arm64 |
reproducible |
4m 16s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/18835 |
| 2023-01-21 02:06:00 |
20220210+ds-3 |
bookworm |
arm64 |
reproducible |
13m 27s |
codethink14-arm64 |
codethink9-arm64 |
arm64_21/12932 |
| 2023-01-14 13:48:00 |
20220210+ds-3 |
unstable |
arm64 |
reproducible |
5m 24s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/1686 |
| 2022-12-02 21:09:00 |
20220210+ds-3 |
bookworm |
arm64 |
reproducible |
7m 50s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/14005 |
| 2022-11-28 13:50:00 |
20220210+ds-3 |
unstable |
arm64 |
reproducible |
6m 17s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/12571 |
| 2022-10-28 03:47:00 |
20220210+ds-3 |
bookworm |
arm64 |
reproducible |
5m 34s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/11237 |
| 2022-10-26 17:17:00 |
20220210+ds-3 |
unstable |
arm64 |
reproducible |
5m 26s |
codethink14-arm64 |
codethink15-arm64 |
arm64_24/10597 |
| 2022-09-21 21:09:00 |
20220210+ds-3 |
bookworm |
arm64 |
reproducible |
5m 17s |
codethink12-arm64 |
codethink13-arm64 |
arm64_15/8039 |
| 2022-09-18 23:14:00 |
20220210+ds-3 |
unstable |
arm64 |
reproducible |
12m 3s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/7925 |
| 2022-08-20 07:49:00 |
20220210+ds-2 |
bookworm |
arm64 |
reproducible |
5m 15s |
codethink13-arm64 |
codethink10-arm64 |
arm64_17/4600 |
| 2022-08-14 23:25:00 |
20220210+ds-2 |
unstable |
arm64 |
reproducible |
7m 37s |
codethink16-arm64 |
codethink15-arm64 |
arm64_32/1542 |
| 2022-07-18 11:03:00 |
20220210+ds-2 |
bookworm |
arm64 |
reproducible |
8m 53s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/2164 |
| 2022-07-16 02:31:00 |
20220210+ds-2 |
unstable |
arm64 |
reproducible |
10m 5s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/1976 |
| 2022-07-09 08:16:00 |
20220210+ds-1 |
unstable |
arm64 |
reproducible |
5m 28s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/1114 |