build history of coq-relation-algebra

build date version suite architecture result build duration node1 node2 job
2024-02-25 00:11:00 1.7.9-2 unstable arm64 reproduciblereproducible 5m 49s codethink01-arm64 codethink03-arm64 arm64_14/30683
2024-02-18 07:22:00 1.7.9-2 trixie i386 reproduciblereproducible 6m 47s ionos2-i386 ionos6-i386 i386_1/17920
2024-02-01 14:16:00 1.7.9-2 trixie amd64 reproduciblereproducible 12m 33s ionos11-amd64 ionos5-amd64 amd64_21/12797
2024-02-01 11:01:00 1.7.9-2 trixie armhf reproduciblereproducible 42m 18s ff4a-armhf-rb virt64b-armhf-rb armhf_24/11013
2024-01-27 03:31:00 1.7.9-2 trixie arm64 reproduciblereproducible 10m 50s codethink03-arm64 codethink04-arm64 arm64_11/26210
2024-01-25 02:44:00 1.7.9-2 unstable i386 reproduciblereproducible 13m 53s ionos12-i386 ionos6-i386 i386_5/7732
2024-01-06 05:11:00 1.7.9-2 unstable armhf reproduciblereproducible 23m 50s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/583
2024-01-03 00:46:00 1.7.9-2 unstable arm64 reproduciblereproducible 9m 49s codethink03-arm64 codethink01-arm64 arm64_17/22325
2023-12-31 23:09:00 1.7.9-2 unstable armhf depwaitdepwait 1m 16s virt64a-armhf-rb cbxi4b-armhf-rb armhf_12/7566
2023-12-31 16:27:00 1.7.9-2 unstable arm64 depwaitdepwait 39s codethink01-arm64 codethink03-arm64 arm64_14/21489
2023-12-31 06:06:00 1.7.9-2 unstable amd64 reproduciblereproducible 13m 32s ionos5-amd64 ionos1-amd64 amd64_18/12425
2023-12-29 05:38:00 1.7.9-2 unstable arm64 depwaitdepwait 19s codethink03-arm64 codethink04-arm64 arm64_11/21768
2023-12-28 16:34:00 1.7.9-1 trixie arm64 reproduciblereproducible 6m 4s codethink01-arm64 codethink02-arm64 arm64_1/11920
2023-12-27 01:30:00 1.7.9-2 unstable arm64 depwaitdepwait 28s codethink03-arm64 codethink01-arm64 arm64_17/20969
2023-12-25 15:06:00 1.7.9-2 unstable arm64 404404 codethink02-arm64 codethink04-arm64 arm64_20/16687
2023-12-20 22:36:00 1.7.9-1 unstable arm64 reproduciblereproducible 5m 20s codethink04-arm64 codethink02-arm64 arm64_10/16442
2023-12-08 07:17:00 1.7.9-1 trixie arm64 reproduciblereproducible 6m 46s codethink02-arm64 codethink04-arm64 arm64_8/8394
2023-12-04 05:58:00 1.7.9-1 unstable arm64 reproduciblereproducible 5m 20s codethink04-arm64 codethink01-arm64 arm64_6/11125
2023-11-18 20:35:00 1.7.9-1 trixie amd64 reproduciblereproducible 20m 13s ionos15-amd64 ionos11-amd64 amd64_16/942
2023-11-16 18:07:00 1.7.9-1 trixie arm64 reproduciblereproducible 6m 9s codethink04-arm64 codethink02-arm64 arm64_10/2823
2023-11-13 13:11:00 1.7.9-1 unstable arm64 reproduciblereproducible 6m 2s codethink04-arm64 codethink02-arm64 arm64_10/2117
2023-11-12 18:18:00 1.7.9-1 unstable amd64 reproduciblereproducible 16m 24s ionos11-amd64 ionos15-amd64 amd64_23/657
2023-11-09 02:03:00 1.7.9-1 unstable armhf reproduciblereproducible 25m 46s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/2724
2023-11-06 12:47:00 1.7.9-1 trixie armhf reproduciblereproducible 1h 10m 7s virt64a-armhf-rb cbxi4pro0-armhf-rb armhf_41/294
2023-10-18 20:07:00 1.7.9-1 trixie arm64 reproduciblereproducible 22m 37s codethink12-arm64 codethink11-arm64 arm64_14/86
2023-10-04 17:52:00 1.7.9-1 trixie amd64 unreproducibleunreproducible 28m 13s ionos11-amd64 ionos15-amd64 amd64_23/4160
2023-09-29 14:35:00 1.7.9-1 unstable arm64 reproduciblereproducible 27m 1s codethink9-arm64 codethink12-arm64 arm64_2/534
2023-07-26 15:42:00 1.7.9-1 unstable amd64 reproduciblereproducible 14m 20s ionos1-amd64 ionos15-amd64 amd64_27/3968
2023-07-03 06:38:00 1.7.9-1 trixie i386 reproduciblereproducible 7m 34s ionos2-i386 ionos16-i386 i386_3/3272
2023-06-26 18:38:00 1.7.9-1 trixie i386 depwaitdepwait 22s ionos2-i386 ionos6-i386 i386_1/2298
2023-06-24 23:11:00 1.7.9-1 trixie amd64 reproduciblereproducible 19m 13s ionos11-amd64 ionos5-amd64 amd64_21/2036
2023-06-24 22:43:00 1.7.9-1 trixie arm64 reproduciblereproducible 25m 32s codethink14-arm64 codethink15-arm64 arm64_24/2081
2023-06-24 17:40:00 1.7.9-1 trixie armhf reproduciblereproducible 27m 5s virt32b-armhf-rb jtx1b-armhf-rb armhf_16/2756
2023-06-20 22:55:00 1.7.9-1 unstable arm64 reproduciblereproducible 24m 41s codethink12-arm64 codethink9-arm64 arm64_13/2237
2023-06-19 21:36:00 1.7.9-1 unstable amd64 reproduciblereproducible 13m 28s ionos1-amd64 ionos15-amd64 amd64_27/2117
2023-06-18 05:33:00 1.7.9-1 unstable armhf FTBFSFTBFS 23m 37s jtx1c-armhf-rb cbxi4a-armhf-rb armhf_28/2113
2023-06-17 22:34:00 1.7.9-1 unstable i386 FTBFSFTBFS 3m 40s ionos6-i386 ionos2-i386 i386_10/1648
2023-06-07 02:02:00 1.7.8-2 bookworm amd64 reproduciblereproducible 20m 30s ionos15-amd64 ionos1-amd64 amd64_12/343
2023-05-30 06:04:00 1.7.8-2 bookworm armhf reproduciblereproducible 28m 42s jtx1b-armhf-rb virt32c-armhf-rb armhf_36/3412
2023-05-22 08:32:00 1.7.8-2 bookworm i386 reproduciblereproducible 12m 34s ionos6-i386 ionos12-i386 i386_6/9682
2023-05-11 18:33:00 1.7.8-2 unstable armhf reproduciblereproducible 1h 22m 54s cbxi4a-armhf-rb jtx1b-armhf-rb armhf_20/6003
2023-05-03 11:49:00 1.7.8-2 unstable amd64 reproduciblereproducible 20m 1s ionos15-amd64 ionos1-amd64 amd64_20/18803
2023-04-18 07:27:00 1.7.8-2 bookworm armhf reproduciblereproducible 1h 12m 41s virt32a-armhf-rb ff64a-armhf-rb armhf_14/7305
2023-04-18 05:06:00 1.7.8-2 bookworm arm64 reproduciblereproducible 27m 15s codethink10-arm64 codethink11-arm64 arm64_6/4315
2023-04-10 22:58:00 1.7.8-2 bookworm amd64 reproduciblereproducible 21m 31s ionos11-amd64 ionos15-amd64 amd64_31/4850
2023-04-10 09:57:00 1.7.8-2 unstable arm64 reproduciblereproducible 45m 14s codethink12-arm64 codethink11-arm64 arm64_14/6565
2023-04-02 12:40:00 1.7.8-2 bookworm i386 reproduciblereproducible 7m 10s ionos6-i386 ionos12-i386 i386_6/3355
2023-03-29 03:41:00 1.7.8-2 unstable amd64 reproduciblereproducible 36m 4s ionos15-amd64 ionos1-amd64 amd64_28/743
2023-03-21 00:25:00 1.7.8-2 unstable armhf reproduciblereproducible 45m 35s wbq0-armhf-rb virt64b-armhf-rb armhf_38/2012
2023-03-13 23:19:00 1.7.8-2 bookworm arm64 reproduciblereproducible 20m 42s codethink15-arm64 codethink10-arm64 arm64_25/23391
2023-03-12 23:30:00 1.7.8-2 bookworm armhf reproduciblereproducible 1h 0m 11s virt64c-armhf-rb wbq0-armhf-rb armhf_39/5709
2023-03-08 18:30:00 1.7.8-2 unstable arm64 reproduciblereproducible 23m 9s codethink16-arm64 codethink9-arm64 arm64_29/16156
2023-03-06 14:50:00 1.7.8-2 bookworm amd64 reproduciblereproducible 21m 32s ionos5-amd64 ionos1-amd64 amd64_2/3670
2023-02-28 22:29:00 1.7.8-2 unstable amd64 reproduciblereproducible 20m 59s ionos1-amd64 ionos5-amd64 amd64_17/6153
2023-02-01 11:13:00 1.7.8-2 bookworm i386 reproduciblereproducible 13m 10s ionos2-i386 ionos16-i386 i386_3/582
2023-01-30 23:49:00 1.7.8-2 bookworm arm64 reproduciblereproducible 26m 42s codethink10-arm64 codethink9-arm64 arm64_5/19937
2023-01-30 19:41:00 1.7.8-2 bookworm amd64 reproduciblereproducible 13m 20s ionos15-amd64 ionos11-amd64 amd64_32/5580
2023-01-30 18:34:00 1.7.8-2 bookworm armhf reproduciblereproducible 31m 7s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/450
2023-01-28 17:11:00 1.7.8-2 unstable i386 reproduciblereproducible 20m 7s ionos16-i386 ionos12-i386 i386_8/707
2023-01-27 05:54:00 1.7.8-2 unstable armhf reproduciblereproducible 29m 7s jtx1b-armhf-rb virt32c-armhf-rb armhf_36/2649
2023-01-26 19:45:00 1.7.8-2 unstable amd64 reproduciblereproducible 27m 45s ionos1-amd64 ionos5-amd64 amd64_9/2894
2023-01-26 18:08:00 1.7.8-2 unstable arm64 reproduciblereproducible 27m 40s codethink16-arm64 codethink15-arm64 arm64_32/15338
2023-01-24 10:42:00 1.7.8-1 bookworm armhf reproduciblereproducible 46m 10s jtx1c-armhf-rb cbxi4a-armhf-rb armhf_28/3799
2023-01-22 14:06:00 1.7.8-1 unstable amd64 reproduciblereproducible 11m 39s ionos5-amd64 ionos1-amd64 amd64_10/5987
2023-01-17 13:02:00 1.7.8-1 bookworm i386 reproduciblereproducible 10m 5s ionos16-i386 ionos2-i386 i386_4/2176
2023-01-07 18:38:00 1.7.8-1 bookworm i386 depwaitdepwait 4m 39s ionos2-i386 ionos6-i386 i386_9/6114
2022-12-26 01:07:00 1.7.8-1 bookworm arm64 reproduciblereproducible 24m 24s codethink9-arm64 codethink16-arm64 arm64_4/16258
2022-12-21 22:21:00 1.7.8-1 bookworm amd64 reproduciblereproducible 21m 25s ionos5-amd64 ionos1-amd64 amd64_10/3153
2022-12-17 05:46:00 1.7.8-1 unstable arm64 reproduciblereproducible 23m 41s codethink10-arm64 codethink11-arm64 arm64_6/15246
2022-12-06 07:42:00 1.7.8-1 unstable amd64 reproduciblereproducible 17m 39s ionos15-amd64 ionos1-amd64 amd64_12/16839
2022-12-04 21:38:00 1.7.8-1 unstable armhf reproduciblereproducible 23m 49s ff4a-armhf-rb virt64c-armhf-rb armhf_33/6365
2022-11-21 01:58:00 1.7.8-1 bookworm armhf reproduciblereproducible 58m 17s ff64a-armhf-rb virt32b-armhf-rb armhf_13/4737
2022-11-10 09:35:00 1.7.8-1 bookworm arm64 reproduciblereproducible 26m 2s codethink9-arm64 codethink10-arm64 arm64_1/1831
2022-11-07 07:24:00 1.7.8-1 bookworm amd64 reproduciblereproducible 11m 48s ionos11-amd64 ionos5-amd64 amd64_13/1438
2022-11-06 18:21:00 1.7.8-1 unstable arm64 reproduciblereproducible 19m 35s codethink16-arm64 codethink13-arm64 arm64_31/11424
2022-11-03 03:31:00 1.7.8-1 unstable amd64 reproduciblereproducible 11m 9s ionos1-amd64 ionos5-amd64 amd64_25/1469
2022-10-08 02:51:00 1.7.8-1 bookworm i386 FTBFSFTBFS 9m 15s ionos6-i386 ionos12-i386 i386_6/1033
2022-10-05 07:43:00 1.7.8-1 unstable i386 reproduciblereproducible 8m 59s ionos2-i386 ionos16-i386 i386_3/960
2022-10-05 00:17:00 1.7.8-1 bookworm arm64 unreproducibleunreproducible 25m 30s codethink15-arm64 codethink16-arm64 arm64_28/8033
2022-10-04 18:37:00 1.7.8-1 bookworm armhf unreproducibleunreproducible 18m 47s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/9659
2022-10-04 17:29:00 1.7.8-1 bookworm amd64 reproduciblereproducible 19m 48s ionos5-amd64 ionos11-amd64 amd64_6/11338
2022-10-04 01:12:00 1.7.8-1 unstable armhf unreproducibleunreproducible 34m 12s ff4a-armhf-rb virt64c-armhf-rb armhf_33/2142
2022-10-03 15:22:00 1.7.8-1 unstable arm64 reproduciblereproducible 23m 22s codethink14-arm64 codethink13-arm64 arm64_23/8453
2022-10-02 10:19:00 1.7.8-1 unstable amd64 reproduciblereproducible 19m 51s ionos5-amd64 ionos11-amd64 amd64_30/4945