build history of coq-hott

build date version suite architecture result build duration node1 node2 job
2024-04-28 13:39:00 8.19-1 unstable armhf reproduciblereproducible 43m 4s virt32z-armhf-rb virt64a-armhf-rb armhf_34/5433
2024-04-28 05:34:00 8.19-1 unstable arm64 reproduciblereproducible 5m 40s codethink01-arm64 codethink04-arm64 arm64_15/40160
2024-04-28 02:36:00 8.19-1 unstable i386 reproduciblereproducible 7m 42s ionos16-i386 ionos12-i386 i386_10/10135
2024-04-28 00:53:00 8.19-1 unstable amd64 reproduciblereproducible 22m 58s ionos11-amd64 ionos15-amd64 amd64_27/18357
2024-04-27 21:46:00 8.19-1 unstable armhf 404404 virt32a-armhf-rb virt64c-armhf-rb armhf_2/5357
2024-04-21 10:00:00 8.18-3 trixie armhf reproduciblereproducible 32m 39s virt64z-armhf-rb ff4a-armhf-rb armhf_4/3290
2024-04-21 05:46:00 8.18-3 trixie amd64 reproduciblereproducible 18m 12s ionos5-amd64 ionos11-amd64 amd64_22/4878
2024-04-19 23:34:00 8.18-3 trixie arm64 reproduciblereproducible 5m 59s codethink01-arm64 codethink02-arm64 arm64_13/14104
2024-04-19 08:59:00 8.18-3 unstable amd64 reproduciblereproducible 14m 56s ionos11-amd64 ionos5-amd64 amd64_31/4002
2024-04-17 11:03:00 8.18-3 unstable arm64 reproduciblereproducible 9m 21s codethink03-arm64 codethink01-arm64 arm64_5/37697
2024-04-03 04:59:00 8.18-3 trixie amd64 reproduciblereproducible 8m 36s ionos15-amd64 ionos11-amd64 amd64_28/15532
2024-03-31 08:56:00 8.18-3 unstable amd64 reproduciblereproducible 4m 52s infom01-amd64 infom02-amd64 amd64_35/3459
2024-03-22 06:25:00 8.18-3 trixie arm64 reproduciblereproducible 5m 49s codethink03-arm64 codethink01-arm64 arm64_17/27032
2024-03-19 13:14:00 8.18-3 unstable arm64 reproduciblereproducible 12m 7s codethink04-arm64 codethink02-arm64 arm64_22/2322
2024-02-17 18:33:00 8.18-3 trixie i386 reproduciblereproducible 11m 36s ionos6-i386 ionos12-i386 i386_6/15461
2024-02-01 11:24:00 8.18-3 trixie amd64 reproduciblereproducible 25m 41s ionos1-amd64 ionos5-amd64 amd64_1/13476
2024-02-01 10:48:00 8.18-3 trixie armhf reproduciblereproducible 2h 17m 15s virt64a-armhf-rb cbxi4b-armhf-rb armhf_12/274
2024-01-27 02:54:00 8.18-3 trixie arm64 reproduciblereproducible 7m 40s codethink03-arm64 codethink04-arm64 arm64_11/26205
2024-01-17 01:50:00 8.18-3 unstable arm64 reproduciblereproducible 5m 30s codethink02-arm64 codethink04-arm64 arm64_8/264
2024-01-05 09:17:00 8.18-3 unstable i386 reproduciblereproducible 6m 38s ionos16-i386 ionos2-i386 i386_4/6426
2023-12-31 14:14:00 8.18-3 unstable armhf reproduciblereproducible 1h 35m 56s jtx1b-armhf-rb wbq0-armhf-rb armhf_40/233
2023-12-30 03:44:00 8.18-1 trixie amd64 reproduciblereproducible 29m 15s ionos11-amd64 ionos5-amd64 amd64_13/11940
2023-12-29 05:32:00 8.18-3 unstable amd64 reproduciblereproducible 18m 53s ionos11-amd64 ionos15-amd64 amd64_15/9329
2023-12-24 16:38:00 8.18-1 trixie arm64 reproduciblereproducible 8m 22s codethink03-arm64 codethink01-arm64 arm64_17/20288
2023-12-23 16:03:00 8.18-3 unstable arm64 FTBFSFTBFS 1m 5s codethink03-arm64 codethink02-arm64 arm64_9/16374
2023-12-19 07:17:00 8.18-1 unstable arm64 reproduciblereproducible 8m 18s codethink02-arm64 codethink03-arm64 arm64_7/15654
2023-12-11 02:24:00 8.18-1 unstable amd64 reproduciblereproducible 11m 23s ionos11-amd64 ionos5-amd64 amd64_13/5957
2023-12-05 05:51:00 8.18-1 trixie arm64 reproduciblereproducible 9m 57s codethink02-arm64 codethink04-arm64 arm64_20/7225
2023-12-01 13:49:00 8.18-1 unstable arm64 reproduciblereproducible 7m 16s codethink01-arm64 codethink02-arm64 arm64_13/6177
2023-11-13 08:09:00 8.18-1 trixie arm64 reproduciblereproducible 6m 27s codethink02-arm64 codethink01-arm64 arm64_16/1689
2023-11-11 23:20:00 8.18-1 unstable arm64 reproduciblereproducible 6m 27s codethink01-arm64 codethink02-arm64 arm64_1/1195
2023-09-16 16:17:00 8.18-1 trixie i386 reproduciblereproducible 9m 14s ionos6-i386 ionos12-i386 i386_6/358
2023-09-15 14:27:00 8.18-1 unstable i386 reproduciblereproducible 9m 33s ionos2-i386 ionos6-i386 i386_9/262
2023-09-15 02:26:00 8.18-1 trixie arm64 reproduciblereproducible 20m 26s codethink15-arm64 codethink10-arm64 arm64_25/144
2023-09-13 14:40:00 8.18-1 unstable armhf reproduciblereproducible 54m 56s virt32a-armhf-rb virt64a-armhf-rb armhf_29/63
2023-09-13 09:50:00 8.18-1 unstable amd64 reproduciblereproducible 15m 57s ionos11-amd64 ionos15-amd64 amd64_15/37
2023-09-13 07:13:00 8.18-1 unstable arm64 reproduciblereproducible 33m 9s codethink12-arm64 codethink11-arm64 arm64_14/26
2023-09-13 04:54:00 8.18-1 trixie armhf reproduciblereproducible 1h 9m 43s jtx1a-armhf-rb ff4a-armhf-rb armhf_4/25
2023-09-08 12:36:00 8.18-1 trixie amd64 reproduciblereproducible 26m 31s ionos5-amd64 ionos1-amd64 amd64_2/209
2023-09-07 23:41:00 8.18-1 unstable arm64 unreproducibleunreproducible 16m 35s codethink15-arm64 codethink12-arm64 arm64_26/77
2023-09-07 21:25:00 8.18-1 trixie armhf unreproducibleunreproducible 38m 57s virt64c-armhf-rb virt32c-armhf-rb armhf_32/152
2023-09-07 20:42:00 8.18-1 unstable amd64 unreproducibleunreproducible 14m 29s ionos1-amd64 ionos15-amd64 amd64_11/68
2023-09-07 05:19:00 8.18-1 unstable armhf unreproducibleunreproducible 2h 28m 9s cbxi4a-armhf-rb ff64a-armhf-rb armhf_21/52
2023-07-26 16:25:00 8.17-1 unstable amd64 reproduciblereproducible 17m 20s ionos1-amd64 ionos5-amd64 amd64_17/4748
2023-07-03 05:44:00 8.17-1 trixie i386 reproduciblereproducible 8m 51s ionos6-i386 ionos2-i386 i386_2/3572
2023-06-26 15:02:00 8.17-1 trixie i386 depwaitdepwait 7m 6s ionos6-i386 ionos2-i386 i386_2/2711
2023-06-24 22:55:00 8.17-1 trixie arm64 reproduciblereproducible 28m 38s codethink16-arm64 codethink11-arm64 arm64_30/2754
2023-06-24 20:04:00 8.17-1 trixie amd64 reproduciblereproducible 28m 56s ionos11-amd64 ionos5-amd64 amd64_21/2022
2023-06-24 17:38:00 8.17-1 trixie armhf reproduciblereproducible 1h 43m 12s jtx1b-armhf-rb wbq0-armhf-rb armhf_40/8988
2023-06-20 04:37:00 8.17-1 unstable arm64 reproduciblereproducible 42m 13s codethink14-arm64 codethink11-arm64 arm64_22/2189
2023-06-19 06:07:00 8.17-1 unstable amd64 reproduciblereproducible 19m 17s ionos1-amd64 ionos5-amd64 amd64_9/2076
2023-06-17 11:07:00 8.17-1 unstable i386 FTBFSFTBFS 5m 16s ionos2-i386 ionos6-i386 i386_1/1151
2023-06-17 08:04:00 8.17-1 unstable armhf FTBFSFTBFS 37m 8s virt64c-armhf-rb wbq0-armhf-rb armhf_39/1863
2023-06-07 10:57:00 8.16-2 bookworm amd64 reproduciblereproducible 14m 0s ionos11-amd64 ionos5-amd64 amd64_13/473
2023-05-30 10:03:00 8.16-2 bookworm armhf reproduciblereproducible 1h 37m 7s cbxi4pro0-armhf-rb virt64b-armhf-rb armhf_42/717
2023-05-22 20:25:00 8.16-2 bookworm i386 reproduciblereproducible 11m 37s ionos16-i386 ionos2-i386 i386_12/13166
2023-05-09 03:44:00 8.16-2 unstable armhf reproduciblereproducible 36m 28s virt32b-armhf-rb jtx1b-armhf-rb armhf_16/9312
2023-05-02 17:11:00 8.16-2 unstable amd64 reproduciblereproducible 17m 54s ionos1-amd64 ionos15-amd64 amd64_27/12271
2023-04-19 19:41:00 8.16-2 bookworm arm64 reproduciblereproducible 47m 33s codethink11-arm64 codethink10-arm64 arm64_9/7385
2023-04-18 09:23:00 8.16-2 bookworm armhf reproduciblereproducible 1h 57m 33s wbq0-armhf-rb virt64b-armhf-rb armhf_38/5984
2023-04-11 05:19:00 8.16-2 bookworm amd64 reproduciblereproducible 14m 11s ionos1-amd64 ionos5-amd64 amd64_9/12305
2023-04-10 23:55:00 8.16-2 unstable arm64 reproduciblereproducible 42m 38s codethink13-arm64 codethink14-arm64 arm64_19/27544
2023-04-02 19:48:00 8.16-2 bookworm i386 reproduciblereproducible 20m 56s ionos2-i386 ionos6-i386 i386_9/6139
2023-03-28 17:02:00 8.16-2 unstable amd64 reproduciblereproducible 32m 37s ionos15-amd64 ionos1-amd64 amd64_12/26296
2023-03-20 06:52:00 8.16-2 unstable armhf reproduciblereproducible 1h 18m 46s jtx1c-armhf-rb virt32a-armhf-rb armhf_45/9380
2023-03-14 03:59:00 8.16-2 bookworm arm64 reproduciblereproducible 33m 29s codethink14-arm64 codethink9-arm64 arm64_21/17035
2023-03-13 02:01:00 8.16-2 bookworm armhf reproduciblereproducible 1h 9m 36s cbxi4pro0-armhf-rb virt64b-armhf-rb armhf_42/3978
2023-03-08 10:08:00 8.16-2 unstable arm64 reproduciblereproducible 47m 41s codethink15-arm64 codethink10-arm64 arm64_25/22811
2023-03-06 17:55:00 8.16-2 bookworm amd64 reproduciblereproducible 11m 21s ionos15-amd64 ionos1-amd64 amd64_4/11566
2023-02-28 12:46:00 8.16-2 unstable amd64 reproduciblereproducible 19m 34s ionos5-amd64 ionos11-amd64 amd64_30/6478
2023-02-01 12:19:00 8.16-2 bookworm i386 reproduciblereproducible 9m 24s ionos2-i386 ionos16-i386 i386_3/594
2023-01-31 01:17:00 8.16-2 bookworm arm64 reproduciblereproducible 34m 28s codethink12-arm64 codethink9-arm64 arm64_13/19031
2023-01-30 20:08:00 8.16-2 bookworm amd64 reproduciblereproducible 25m 8s ionos5-amd64 ionos11-amd64 amd64_22/508
2023-01-30 19:26:00 8.16-2 bookworm armhf reproduciblereproducible 1h 11m 35s virt32a-armhf-rb jtx1a-armhf-rb armhf_9/391
2023-01-27 22:28:00 8.16-2 unstable i386 reproduciblereproducible 12m 14s ionos16-i386 ionos2-i386 i386_12/401
2023-01-25 14:27:00 8.16-2 unstable armhf reproduciblereproducible 27m 13s virt32a-armhf-rb virt64a-armhf-rb armhf_29/1649
2023-01-25 13:52:00 8.16-2 unstable arm64 reproduciblereproducible 39m 48s codethink16-arm64 codethink15-arm64 arm64_32/15275
2023-01-25 11:48:00 8.16-2 unstable amd64 reproduciblereproducible 26m 41s ionos1-amd64 ionos15-amd64 amd64_11/4606
2023-01-21 02:33:00 8.16-1 bookworm arm64 reproduciblereproducible 33m 7s codethink13-arm64 codethink14-arm64 arm64_19/18151
2023-01-18 06:58:00 8.16-1 bookworm amd64 reproduciblereproducible 9m 22s ionos5-amd64 ionos11-amd64 amd64_6/1868
2023-01-12 13:54:00 8.16-1 unstable arm64 reproduciblereproducible 43m 58s codethink12-arm64 codethink11-arm64 arm64_14/17735
2022-12-30 21:34:00 8.16-1 unstable amd64 reproduciblereproducible 19m 44s ionos5-amd64 ionos1-amd64 amd64_18/9090
2022-12-28 22:45:00 8.16-1 bookworm armhf reproduciblereproducible 35m 25s virt32a-armhf-rb jtx1a-armhf-rb armhf_9/602
2022-12-25 23:41:00 8.16-1 bookworm i386 reproduciblereproducible 8m 6s ionos12-i386 ionos6-i386 i386_5/117
2022-12-02 21:09:00 8.16-1 bookworm arm64 reproduciblereproducible 27m 6s codethink9-arm64 codethink14-arm64 arm64_3/1031
2022-11-27 14:20:00 8.16-1 unstable arm64 reproduciblereproducible 20m 30s codethink14-arm64 codethink9-arm64 arm64_21/8761
2022-11-26 12:38:00 8.16-1 bookworm amd64 reproduciblereproducible 17m 25s ionos5-amd64 ionos1-amd64 amd64_18/5926
2022-11-19 01:02:00 8.16-1 unstable amd64 reproduciblereproducible 21m 18s ionos1-amd64 ionos5-amd64 amd64_9/4975
2022-11-18 19:39:00 8.16-1 unstable armhf reproduciblereproducible 1h 56m 40s cbxi4b-armhf-rb virt64c-armhf-rb armhf_22/3249
2022-11-04 19:35:00 8.16-1 bookworm armhf reproduciblereproducible 1h 6m 43s virt32a-armhf-rb virt64a-armhf-rb armhf_29/7827
2022-10-28 03:20:00 8.16-1 bookworm arm64 reproduciblereproducible 44m 42s codethink14-arm64 codethink11-arm64 arm64_22/10060
2022-10-25 12:16:00 8.16-1 bookworm amd64 reproduciblereproducible 27m 19s ionos11-amd64 ionos15-amd64 amd64_31/11925
2022-10-25 04:55:00 8.16-1 unstable arm64 reproduciblereproducible 39m 10s codethink12-arm64 codethink11-arm64 arm64_14/10928
2022-10-20 09:13:00 8.16-1 unstable amd64 reproduciblereproducible 10m 26s ionos11-amd64 ionos5-amd64 amd64_13/257
2022-09-23 17:10:00 8.16-1 bookworm i386 unreproducibleunreproducible 10m 42s ionos16-i386 ionos12-i386 i386_8/1514
2022-09-21 23:12:00 8.16-1 bookworm amd64 reproduciblereproducible 29m 2s ionos11-amd64 ionos15-amd64 amd64_31/8860
2022-09-21 21:12:00 8.16-1 bookworm arm64 unreproducibleunreproducible 46m 54s codethink13-arm64 codethink14-arm64 arm64_19/8445
2022-09-18 23:40:00 8.16-1 bookworm armhf unreproducibleunreproducible 1h 45m 39s jtx1a-armhf-rb cbxi4b-armhf-rb armhf_26/1947
2022-09-10 02:09:00 8.16-1 unstable amd64 reproduciblereproducible 17m 51s ionos5-amd64 ionos1-amd64 amd64_26/1436
2022-09-10 00:30:00 8.16-1 unstable i386 unreproducibleunreproducible 9m 36s ionos6-i386 ionos12-i386 i386_6/1041
2022-09-08 22:15:00 8.16-1 unstable arm64 unreproducibleunreproducible 34m 2s codethink12-arm64 codethink11-arm64 arm64_14/6953
2022-09-06 19:36:00 8.16-1 unstable armhf unreproducibleunreproducible 49m 51s virt32a-armhf-rb virt64a-armhf-rb armhf_29/3809
2022-09-01 15:32:00 8.15-4 bookworm amd64 reproduciblereproducible 10m 17s ionos15-amd64 ionos1-amd64 amd64_20/6177
2022-09-01 11:28:00 8.15-4 bookworm i386 unreproducibleunreproducible 8m 32s ionos2-i386 ionos16-i386 i386_3/562
2022-08-31 09:45:00 8.15-4 bookworm armhf unreproducibleunreproducible 1h 28m 34s virt32a-armhf-rb virt64a-armhf-rb armhf_29/3255
2022-08-31 09:16:00 8.15-4 bookworm arm64 unreproducibleunreproducible 39m 46s codethink9-arm64 codethink14-arm64 arm64_3/4488
2022-08-27 23:49:00 8.15-3 bookworm armhf unreproducibleunreproducible 43m 15s virt64b-armhf-rb virt32b-armhf-rb armhf_6/522
2022-08-23 01:41:00 8.15-4 unstable armhf unreproducibleunreproducible 57m 26s virt64b-armhf-rb virt32b-armhf-rb armhf_15/2719
2022-08-23 01:33:00 8.15-4 unstable i386 unreproducibleunreproducible 11m 33s ionos16-i386 ionos2-i386 i386_4/883
2022-08-22 23:47:00 8.15-4 unstable arm64 unreproducibleunreproducible 28m 31s codethink9-arm64 codethink16-arm64 arm64_4/4402
2022-08-22 22:27:00 8.15-4 unstable amd64 reproduciblereproducible 13m 2s ionos5-amd64 ionos1-amd64 amd64_26/6389
2022-08-20 07:43:00 8.15-3 bookworm arm64 unreproducibleunreproducible 33m 17s codethink13-arm64 codethink16-arm64 arm64_20/3929
2022-08-15 16:31:00 8.15-3 unstable arm64 unreproducibleunreproducible 34m 16s codethink16-arm64 codethink15-arm64 arm64_32/1649
2022-08-12 15:11:00 8.15-3 bookworm amd64 reproduciblereproducible 19m 38s ionos15-amd64 ionos1-amd64 amd64_4/5802
2022-08-09 10:04:00 8.15-3 unstable amd64 reproduciblereproducible 25m 53s ionos11-amd64 ionos5-amd64 amd64_5/4447
2022-07-18 10:53:00 8.15-3 bookworm i386 unreproducibleunreproducible 8m 8s ionos16-i386 ionos12-i386 i386_8/3477
2022-07-18 09:09:00 8.15-3 bookworm armhf unreproducibleunreproducible 1h 5m 46s virt64b-armhf-rb virt32b-armhf-rb armhf_15/165
2022-07-18 08:14:00 8.15-3 bookworm arm64 reproduciblereproducible 26m 49s codethink9-arm64 codethink16-arm64 arm64_4/1719
2022-07-18 07:49:00 8.15-3 bookworm amd64 reproduciblereproducible 17m 1s ionos11-amd64 ionos5-amd64 amd64_29/2753
2022-07-17 11:21:00 8.15-3 unstable i386 unreproducibleunreproducible 14m 28s ionos6-i386 ionos2-i386 i386_2/2068
2022-07-17 05:08:00 8.15-3 unstable armhf unreproducibleunreproducible 47m 6s virt32b-armhf-rb jtx1c-armhf-rb armhf_11/1661
2022-07-16 18:40:00 8.15-3 unstable arm64 unreproducibleunreproducible 47m 16s codethink12-arm64 codethink11-arm64 arm64_14/1597
2022-07-16 17:18:00 8.15-3 unstable amd64 reproduciblereproducible 9m 26s ionos1-amd64 ionos15-amd64 amd64_11/1905
2022-07-13 04:24:00 8.15-2 bookworm i386 unreproducibleunreproducible 17m 34s ionos2-i386 ionos6-i386 i386_1/350
2022-07-11 20:59:00 8.15-2 bookworm arm64 unreproducibleunreproducible 23m 58s codethink16-arm64 codethink9-arm64 arm64_29/1243
2022-07-11 19:38:00 8.15-2 bookworm amd64 reproduciblereproducible 18m 26s ionos15-amd64 ionos11-amd64 amd64_16/1319
2022-07-11 13:11:00 8.15-2 bookworm armhf unreproducibleunreproducible 2h 26m 42s virt64b-armhf-rb cbxi4a-armhf-rb armhf_7/577
2022-07-09 22:30:00 8.15-2 unstable i386 unreproducibleunreproducible 11m 7s ionos2-i386 ionos16-i386 i386_3/1059
2022-07-09 04:12:00 8.15-2 unstable armhf unreproducibleunreproducible 39m 45s jtx1c-armhf-rb virt32a-armhf-rb armhf_45/735
2022-07-09 03:16:00 8.15-2 unstable arm64 unreproducibleunreproducible 32m 41s codethink9-arm64 codethink14-arm64 arm64_3/879
2022-07-09 00:58:00 8.15-2 unstable amd64 reproduciblereproducible 19m 3s ionos5-amd64 ionos1-amd64 amd64_18/1119