build history of coq-reduction-effects

build date version suite architecture result build duration node1 node2 job
2024-04-19 08:20:00 0.1.5-1 unstable amd64 reproduciblereproducible 4m 41s ionos11-amd64 ionos5-amd64 amd64_31/3996
2024-04-19 07:43:00 0.1.5-1 trixie arm64 reproduciblereproducible 1m 38s codethink04-arm64 codethink01-arm64 arm64_6/36369
2024-04-17 16:02:00 0.1.5-1 unstable arm64 reproduciblereproducible 1m 58s codethink02-arm64 codethink03-arm64 arm64_19/13920
2024-04-04 16:59:00 0.1.5-1 trixie amd64 reproduciblereproducible 6m 22s ionos1-amd64 ionos15-amd64 amd64_29/4896
2024-03-31 07:17:00 0.1.5-1 unstable amd64 reproduciblereproducible 4m 29s ionos11-amd64 ionos5-amd64 amd64_13/2000
2024-03-21 23:27:00 0.1.5-1 trixie arm64 reproduciblereproducible 1m 50s codethink04-arm64 codethink01-arm64 arm64_18/32730
2024-03-19 19:38:00 0.1.5-1 unstable arm64 reproduciblereproducible 2m 18s codethink04-arm64 codethink03-arm64 arm64_24/26951
2024-02-17 13:43:00 0.1.5-1 trixie i386 reproduciblereproducible 2m 23s ionos16-i386 ionos12-i386 i386_8/18534
2024-02-01 13:42:00 0.1.5-1 trixie amd64 reproduciblereproducible 3m 8s ionos11-amd64 ionos15-amd64 amd64_7/10618
2024-02-01 11:47:00 0.1.5-1 trixie armhf reproduciblereproducible 5m 28s virt32c-armhf-rb virt64a-armhf-rb armhf_34/332
2024-01-27 01:35:00 0.1.5-1 trixie arm64 reproduciblereproducible 1m 48s codethink04-arm64 codethink02-arm64 arm64_22/1094
2024-01-17 18:37:00 0.1.5-1 unstable arm64 reproduciblereproducible 2m 10s codethink03-arm64 codethink04-arm64 arm64_23/24680
2024-01-05 10:05:00 0.1.5-1 unstable i386 reproduciblereproducible 5m 14s ionos12-i386 ionos6-i386 i386_5/6732
2023-12-31 14:11:00 0.1.5-1 unstable armhf reproduciblereproducible 8m 5s virt32c-armhf-rb virt64a-armhf-rb armhf_34/4268
2023-12-29 04:35:00 0.1.5-1 unstable amd64 reproduciblereproducible 5m 1s ionos5-amd64 ionos11-amd64 amd64_14/11731
2023-12-26 20:42:00 0.1.4-4 trixie arm64 reproduciblereproducible 1m 44s codethink04-arm64 codethink02-arm64 arm64_10/17185
2023-12-23 16:01:00 0.1.5-1 unstable arm64 reproduciblereproducible 1m 48s codethink02-arm64 codethink03-arm64 arm64_19/15629
2023-12-19 14:02:00 0.1.4-4 unstable arm64 reproduciblereproducible 1m 31s codethink01-arm64 codethink03-arm64 arm64_14/19168
2023-12-07 18:54:00 0.1.4-4 trixie arm64 reproduciblereproducible 1m 45s codethink04-arm64 codethink03-arm64 arm64_12/11978
2023-12-03 05:36:00 0.1.4-4 unstable arm64 reproduciblereproducible 2m 20s codethink03-arm64 codethink01-arm64 arm64_5/10990
2023-11-18 10:17:00 0.1.4-4 trixie amd64 reproduciblereproducible 4m 19s ionos5-amd64 ionos1-amd64 amd64_26/3792
2023-11-16 13:55:00 0.1.4-4 trixie arm64 reproduciblereproducible 1m 54s codethink01-arm64 codethink03-arm64 arm64_2/6430
2023-11-12 20:43:00 0.1.4-4 unstable arm64 reproduciblereproducible 1m 47s codethink01-arm64 codethink04-arm64 arm64_3/5492
2023-11-12 20:17:00 0.1.4-4 unstable amd64 reproduciblereproducible 2m 20s ionos11-amd64 ionos15-amd64 amd64_27/831
2023-11-08 06:45:00 0.1.4-4 unstable armhf reproduciblereproducible 27m 32s virt64a-armhf-rb cbxi4b-armhf-rb armhf_5/775
2023-11-06 17:59:00 0.1.4-4 trixie armhf reproduciblereproducible 14m 51s virt32a-armhf-rb ff64a-armhf-rb armhf_14/448
2023-10-18 13:08:00 0.1.4-4 trixie arm64 reproduciblereproducible 4m 3s codethink15-arm64 codethink10-arm64 arm64_25/58
2023-10-04 12:11:00 0.1.4-4 trixie amd64 unreproducibleunreproducible 5m 30s ionos5-amd64 ionos11-amd64 amd64_14/3945
2023-09-29 05:08:00 0.1.4-4 unstable arm64 reproduciblereproducible 3m 42s codethink15-arm64 codethink16-arm64 arm64_28/512
2023-07-26 16:05:00 0.1.4-4 unstable amd64 reproduciblereproducible 2m 40s ionos5-amd64 ionos1-amd64 amd64_18/4570
2023-06-26 09:31:00 0.1.4-4 trixie i386 reproduciblereproducible 4m 38s ionos6-i386 ionos2-i386 i386_2/2691
2023-06-24 21:05:00 0.1.4-4 trixie amd64 reproduciblereproducible 4m 58s ionos11-amd64 ionos5-amd64 amd64_21/2029
2023-06-24 20:00:00 0.1.4-4 trixie arm64 reproduciblereproducible 3m 1s codethink13-arm64 codethink14-arm64 arm64_19/2257
2023-06-24 18:44:00 0.1.4-4 trixie armhf reproduciblereproducible 12m 23s virt32a-armhf-rb ff64a-armhf-rb armhf_14/10207
2023-06-19 23:43:00 0.1.4-4 unstable arm64 reproduciblereproducible 3m 47s codethink13-arm64 codethink10-arm64 arm64_17/2425
2023-06-19 05:25:00 0.1.4-4 unstable amd64 reproduciblereproducible 5m 42s ionos5-amd64 ionos11-amd64 amd64_30/1714
2023-06-17 12:18:00 0.1.4-4 unstable i386 FTBFSFTBFS 3m 9s ionos16-i386 ionos12-i386 i386_8/2652
2023-06-17 06:39:00 0.1.4-4 unstable armhf FTBFSFTBFS 10m 27s cbxi4a-armhf-rb ff64a-armhf-rb armhf_21/6954
2023-06-11 13:45:00 0.1.4-3 unstable arm64 reproduciblereproducible 3m 10s codethink15-arm64 codethink14-arm64 arm64_27/840
2023-06-05 05:11:00 0.1.4-3 bookworm amd64 reproduciblereproducible 4m 1s ionos15-amd64 ionos1-amd64 amd64_12/285
2023-05-30 07:51:00 0.1.4-3 bookworm armhf reproduciblereproducible 9m 13s virt32b-armhf-rb virt64b-armhf-rb armhf_17/797
2023-05-20 12:47:00 0.1.4-3 bookworm i386 reproduciblereproducible 1m 52s ionos12-i386 ionos16-i386 i386_7/9984
2023-05-09 00:34:00 0.1.4-3 unstable armhf reproduciblereproducible 13m 49s virt64a-armhf-rb cbxi4b-armhf-rb armhf_12/8608
2023-05-02 13:05:00 0.1.4-3 unstable amd64 reproduciblereproducible 4m 0s ionos15-amd64 ionos11-amd64 amd64_8/23515
2023-04-18 08:16:00 0.1.4-3 bookworm armhf reproduciblereproducible 8m 11s jtx1b-armhf-rb virt32a-armhf-rb armhf_10/165
2023-04-17 19:24:00 0.1.4-3 bookworm arm64 reproduciblereproducible 2m 35s codethink10-arm64 codethink13-arm64 arm64_7/6091
2023-04-10 17:09:00 0.1.4-3 bookworm amd64 reproduciblereproducible 7m 37s ionos5-amd64 ionos1-amd64 amd64_10/14338
2023-04-08 22:33:00 0.1.4-3 unstable arm64 reproduciblereproducible 4m 20s codethink15-arm64 codethink14-arm64 arm64_27/25518
2023-04-02 00:52:00 0.1.4-3 bookworm i386 reproduciblereproducible 14m 40s ionos2-i386 ionos6-i386 i386_9/6042
2023-03-28 11:35:00 0.1.4-3 unstable amd64 reproduciblereproducible 5m 4s ionos15-amd64 ionos1-amd64 amd64_12/26285
2023-03-20 02:55:00 0.1.4-3 unstable armhf reproduciblereproducible 7m 36s jtx1b-armhf-rb virt32c-armhf-rb armhf_36/6202
2023-03-13 17:59:00 0.1.4-3 bookworm arm64 reproduciblereproducible 3m 36s codethink16-arm64 codethink11-arm64 arm64_30/632
2023-03-13 01:06:00 0.1.4-3 bookworm armhf reproduciblereproducible 12m 37s wbq0-armhf-rb virt64a-armhf-rb armhf_37/1684
2023-03-07 14:04:00 0.1.4-3 unstable arm64 reproduciblereproducible 3m 47s codethink11-arm64 codethink14-arm64 arm64_11/361
2023-03-06 10:54:00 0.1.4-3 bookworm amd64 reproduciblereproducible 3m 19s ionos11-amd64 ionos5-amd64 amd64_13/10332
2023-02-28 03:41:00 0.1.4-3 unstable amd64 reproduciblereproducible 12m 12s ionos5-amd64 ionos11-amd64 amd64_22/2759
2023-02-01 08:52:00 0.1.4-3 bookworm i386 reproduciblereproducible 2m 39s ionos16-i386 ionos2-i386 i386_4/2941
2023-01-30 22:47:00 0.1.4-3 bookworm arm64 reproduciblereproducible 4m 41s codethink16-arm64 codethink9-arm64 arm64_29/14046
2023-01-30 19:54:00 0.1.4-3 bookworm amd64 reproduciblereproducible 4m 28s ionos11-amd64 ionos5-amd64 amd64_13/8025
2023-01-30 19:26:00 0.1.4-3 bookworm armhf reproduciblereproducible 14m 27s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/452
2023-01-27 22:16:00 0.1.4-3 unstable i386 reproduciblereproducible 2m 43s ionos6-i386 ionos12-i386 i386_6/498
2023-01-25 14:21:00 0.1.4-3 unstable armhf reproduciblereproducible 9m 46s virt64b-armhf-rb virt32b-armhf-rb armhf_6/1487
2023-01-25 13:49:00 0.1.4-3 unstable arm64 reproduciblereproducible 2m 46s codethink13-arm64 codethink14-arm64 arm64_19/18488
2023-01-25 11:48:00 0.1.4-3 unstable amd64 reproduciblereproducible 2m 1s ionos11-amd64 ionos5-amd64 amd64_21/3136
2023-01-18 15:32:00 0.1.4-2 bookworm arm64 reproduciblereproducible 3m 46s codethink11-arm64 codethink10-arm64 arm64_9/2087
2023-01-18 01:15:00 0.1.4-2 bookworm amd64 reproduciblereproducible 2m 2s ionos5-amd64 ionos11-amd64 amd64_14/8068
2023-01-10 02:00:00 0.1.4-2 unstable arm64 reproduciblereproducible 3m 24s codethink16-arm64 codethink13-arm64 arm64_31/1301
2022-12-30 19:22:00 0.1.4-2 unstable amd64 reproduciblereproducible 2m 23s ionos5-amd64 ionos11-amd64 amd64_14/6405
2022-12-28 15:21:00 0.1.4-2 bookworm armhf reproduciblereproducible 4m 37s virt32c-armhf-rb jtx1c-armhf-rb armhf_25/1840
2022-12-25 16:06:00 0.1.4-2 bookworm i386 reproduciblereproducible 3m 55s ionos6-i386 ionos12-i386 i386_6/4326
2022-11-30 00:50:00 0.1.4-2 bookworm arm64 reproduciblereproducible 4m 6s codethink16-arm64 codethink15-arm64 arm64_32/11022
2022-11-25 21:51:00 0.1.4-2 bookworm amd64 reproduciblereproducible 3m 42s ionos1-amd64 ionos15-amd64 amd64_11/9020
2022-11-25 03:48:00 0.1.4-2 unstable arm64 reproduciblereproducible 4m 8s codethink14-arm64 codethink9-arm64 arm64_21/8582
2022-11-18 23:21:00 0.1.4-2 unstable amd64 reproduciblereproducible 2m 29s ionos11-amd64 ionos5-amd64 amd64_13/2647
2022-11-18 17:39:00 0.1.4-2 unstable armhf reproduciblereproducible 8m 57s cbxi4b-armhf-rb virt64c-armhf-rb armhf_22/3239
2022-11-04 13:33:00 0.1.4-2 bookworm armhf reproduciblereproducible 8m 41s jtx1b-armhf-rb virt32a-armhf-rb armhf_10/770
2022-10-27 07:56:00 0.1.4-2 bookworm arm64 reproduciblereproducible 4m 56s codethink11-arm64 codethink16-arm64 arm64_12/1758
2022-10-25 01:14:00 0.1.4-2 bookworm amd64 reproduciblereproducible 4m 49s ionos11-amd64 ionos5-amd64 amd64_21/583
2022-10-24 05:30:00 0.1.4-2 unstable arm64 reproduciblereproducible 5m 13s codethink12-arm64 codethink9-arm64 arm64_13/11205
2022-10-20 06:37:00 0.1.4-2 unstable amd64 reproduciblereproducible 3m 23s ionos5-amd64 ionos1-amd64 amd64_18/2699
2022-09-23 13:17:00 0.1.4-2 bookworm i386 reproduciblereproducible 2m 36s ionos16-i386 ionos12-i386 i386_8/1501
2022-09-21 21:09:00 0.1.4-2 bookworm amd64 reproduciblereproducible 11m 41s ionos11-amd64 ionos5-amd64 amd64_13/2146
2022-09-21 18:29:00 0.1.4-2 bookworm arm64 reproduciblereproducible 4m 44s codethink15-arm64 codethink16-arm64 arm64_28/7199
2022-09-18 22:51:00 0.1.4-2 bookworm armhf reproduciblereproducible 11m 7s virt64b-armhf-rb virt32b-armhf-rb armhf_15/2666
2022-09-10 01:50:00 0.1.4-2 unstable amd64 reproduciblereproducible 8m 37s ionos11-amd64 ionos5-amd64 amd64_5/2083
2022-09-09 22:36:00 0.1.4-2 unstable i386 reproduciblereproducible 2m 31s ionos2-i386 ionos16-i386 i386_11/3044
2022-09-08 18:08:00 0.1.4-2 unstable arm64 reproduciblereproducible 4m 6s codethink14-arm64 codethink11-arm64 arm64_22/5369
2022-09-06 19:20:00 0.1.4-2 unstable armhf reproduciblereproducible 7m 3s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/6820
2022-08-15 06:50:00 0.1.4-1 bookworm arm64 reproduciblereproducible 4m 27s codethink11-arm64 codethink12-arm64 arm64_10/4911
2022-08-15 06:42:00 0.1.4-1 bookworm armhf reproduciblereproducible 13m 37s cbxi4pro0-armhf-rb jtx1c-armhf-rb armhf_44/1288
2022-08-15 05:40:00 0.1.4-1 bookworm i386 reproduciblereproducible 2m 40s ionos16-i386 ionos12-i386 i386_8/7298
2022-08-15 05:11:00 0.1.4-1 bookworm amd64 reproduciblereproducible 3m 49s ionos5-amd64 ionos11-amd64 amd64_6/6127
2022-08-14 12:39:00 0.1.4-1 unstable i386 reproduciblereproducible 3m 3s ionos2-i386 ionos16-i386 i386_3/169
2022-08-13 20:32:00 0.1.4-1 unstable armhf reproduciblereproducible 14m 53s virt64a-armhf-rb ff4a-armhf-rb armhf_8/2471
2022-08-13 09:57:00 0.1.4-1 unstable amd64 reproduciblereproducible 5m 28s ionos11-amd64 ionos15-amd64 amd64_31/4756
2022-08-13 09:45:00 0.1.4-1 unstable arm64 reproduciblereproducible 19m 29s codethink12-arm64 codethink15-arm64 arm64_16/387
2022-07-29 23:35:00 0.1.3-2 bookworm i386 reproduciblereproducible 6m 9s ionos16-i386 ionos2-i386 i386_12/3355
2022-07-28 03:46:00 0.1.3-2 bookworm arm64 reproduciblereproducible 7m 53s codethink10-arm64 codethink9-arm64 arm64_5/2882
2022-07-28 01:26:00 0.1.3-2 bookworm armhf reproduciblereproducible 11m 31s virt64b-armhf-rb virt32b-armhf-rb armhf_15/1115
2022-07-27 18:43:00 0.1.3-2 bookworm amd64 reproduciblereproducible 7m 25s ionos15-amd64 ionos1-amd64 amd64_20/3218
2022-07-23 10:00:00 0.1.3-2 unstable i386 reproduciblereproducible 2m 46s ionos12-i386 ionos6-i386 i386_5/3716
2022-07-22 16:15:00 0.1.3-2 unstable amd64 reproduciblereproducible 7m 46s ionos11-amd64 ionos15-amd64 amd64_31/2361
2022-07-21 10:19:00 0.1.3-2 unstable armhf reproduciblereproducible 6m 34s virt32b-armhf-rb jtx1b-armhf-rb armhf_16/1592
2022-07-21 01:49:00 0.1.3-2 unstable arm64 reproduciblereproducible 5m 52s codethink12-arm64 codethink11-arm64 arm64_14/1996