Raspbian Package Auto-Building

Build logs for why3

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Build logs for why3 in bullseye-staging [X]

Version Architecture Result Build date Builder Build time Disk space
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