Raspbian Package Auto-Building

Build logs for why3

Package:

Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o

Build logs for why3

Version Architecture Result Build date Builder Build time Disk space
1.6.0-1+b1 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-02-23 17:54:08 bm-wb-04 1h 5m 660.4 MB
 
1.6.0-1 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2023-10-19 18:23:33 bm-wb-04 1h 6m 637.38 MB
 
1.5.1-1+b1 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2023-01-23 17:32:03 bm-wb-04 53m 637.06 MB
 
1.5.1-1 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-12-22 06:22:05 testwandboard 1h 1m 636.51 MB
 
1.5.0-1+b1 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-07-06 22:57:10 mb-lxc-02 24m 624.24 MB
 
1.5.0-1 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-07-06 10:56:43 mb-lxc-02 18m 624.18 MB
 
1.4.1-2 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-03-22 19:23:20 bm-wb-01 1h 6m 572.86 MB
 
1.3.3-3+b2 (bookworm-staging) Buildd exposure stats armhf Maybe-Failed 2022-01-11 17:16:09 test2019 39m 1.15 GB
 
1.3.3-3+b1 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2021-11-10 07:46:58 testwandboard 1h 13m 1.25 GB
 
1.3.3-3 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2021-11-10 00:59:13 bm-wb-01 1h 17m 1.25 GB
 
1.3.3-1+b6 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2021-10-13 17:57:01 mb-lxc-02 34m 1.25 GB
 
1.3.3-1+b5 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2021-01-25 05:53:43 mb-lxc-02 36m 1.25 GB
 
1.3.3-1+b4 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-12-13 10:20:26 mb-lxc-01 35m 1.25 GB
 
1.3.3-1+b3 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-12-03 20:37:41 testwandboard 1h 9m 1.25 GB
 
1.3.3-1+b2 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-11-10 13:46:08 bm-wb-02 1h 23m 1.25 GB
 
1.3.3-1+b1 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-10-24 18:39:16 bm-wb-01 1h 17m 1.11 GB
 
1.3.3-1 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-09-29 23:20:54 mb-lxc-02 23m 1.11 GB
 
1.3.1-3+b1 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-09-03 11:18:22 mb-lxc-02 19m 1.09 GB
 
1.3.1-3 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-08-18 09:15:17 bm-wb-03 49m 1.09 GB
 
1.3.1-2 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-04-10 06:32:05 mb-lxc-01 32m 1.09 GB
 
1.2.1-6 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-03-23 12:15:11 bm-wb-01 55m 981.84 MB
 
1.2.1-3 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-02-16 11:50:05 mb-lxc-01 22m 991.4 MB
 
1.2.1-2+b3 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-01-25 17:46:37 test2019 45m 992.96 MB
 
1.2.1-2+b2 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2019-12-09 01:01:03 mb-lxc-01 24m 993.02 MB
 
1.2.1-2+b1 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2019-11-28 21:40:09 bm-wb-03 1h 54m 993.01 MB
 
1.2.1-2 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2019-11-24 06:09:52 bm-wb-04 1h 1m 954.26 MB
 
1.2.1-1 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2019-11-01 05:33:45 mb-lxc-02 25m 954.14 MB
 
1.2.0-3 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2019-10-18 05:53:33 mb-lxc-02 33m 949.15 MB
 
1.2.0-2+b1 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2019-09-05 11:31:35 mb-lxc-01 35m 949.07 MB
 
1.2.0-2 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2019-09-01 06:29:49 bm-wb-03 1h 24m 949.05 MB
 
1.2.0-1+b2 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2019-08-19 11:20:35 mb-lxc-01 29m 946.93 MB
 
1.2.0-1+b1 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2019-08-04 21:19:17 bm-wb-04 1h 2m 946.84 MB
 
1.2.0-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2019-02-26 05:12:22 mb-lxc-02 26m 949.32 MB
 
1.1.1-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-12-24 23:01:47 mb-lxc-02 23m 596.35 MB
 
1.1.0-1+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-11-25 02:08:40 testwandboard 46m 594.39 MB
 
1.1.0-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-11-08 04:44:43 mb-lxc-01 26m 596.64 MB
 
1.0.0-2 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-08-18 05:34:01 bm-wb-02 50m 627.67 MB
 
1.0.0-1+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-07-22 17:25:17 bm-wb-04 47m 627.61 MB
 
1.0.0-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-07-22 05:20:35 mb-lxc-01 23m 629.99 MB
 
0.88.3-3 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-05-29 05:52:09 mb-lxc-01 24m 505.33 MB
 
0.88.3-2 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-04-14 05:45:55 bm-wb-02 41m 503.38 MB
 
0.88.3-1+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-01-20 23:47:11 bm-wb-04 45m 486.54 MB
 
0.88.3-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-01-20 11:05:01 mb-lxc-02 22m 505.3 MB
 
0.88.2-1+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-01-12 21:08:23 mb-lxc-01 14m 513.21 MB
 
0.88.2-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-01-03 05:45:22 bm-wb-04 44m 502.36 MB
 
0.87.3-2+b4 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2017-08-10 07:14:44 testwandboard 1h 1m 711.73 MB
 
0.87.3-2+b3 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2017-08-09 17:30:16 bm-wb-02 41m 711.72 MB
 
0.87.3-2+b2 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2017-08-09 06:51:56 bm-wb-02 41m 711.75 MB
 
0.87.3-2+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2017-06-30 12:27:04 mb-lxc-02 21m 713.22 MB
 
0.87.3-2 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2017-02-01 10:16:35 testbuildd 44m 709.63 MB
 
0.87.2-3 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2017-02-01 02:30:13 bm-wb-02 41m 709.8 MB
Maybe-Failed 2017-01-14 07:44:09 bm-wb-01 45m —
 
0.87.2-2 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-09-27 14:04:23 testbuildd 47m 684.57 MB
 
0.87.2-1 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-09-07 17:23:14 testbuildd 45m 684.46 MB
 
0.87.1-2+b2 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-08-22 23:23:31 bm-wb-03 43m 686.01 MB
 
0.87.1-2+b1 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-08-14 17:45:19 bm-wb-01 54m 687.09 MB
 
0.87.1-2 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-07-25 13:39:36 bm-wb-01 56m 687.09 MB
 
0.87.1-1+b1 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-06-16 02:23:49 testbuildd 41m 686.29 MB
 
0.87.1-1 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-06-15 13:24:07 bm-wb-03 39m 686.29 MB
 
0.87.0-3+b1 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-06-05 16:14:15 bm-wb-01 39m 685.87 MB
 
0.87.0-1 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-04-02 08:06:58 bm-wb-02 1h 11m 442.49 MB