Raspbian Package Auto-Building
Build logs for cbmc on armhf
Package:
Debian PTS
–
Tracker
–
Changelog
–
Bugs
–
packages.d.o
–
buildd.d.o
Build logs for
cbmc
on
armhf
[
X
]
Version
Architecture
Result
Build date
Builder
Build time
Disk space
5.95.1-4
(
trixie-staging
)
armhf
Maybe-Successful
2024-02-26 12:19:58
test2019
6h 11m
7.26 GB
5.89.0-2
(
trixie-staging
)
Maybe-Successful
2023-10-01 14:22:28
test2019
7h 7m
7.46 GB
5.12-5+b1
(
bullseye-staging
)
Maybe-Successful
2020-11-30 11:27:09
bm-wb-01
15h 25m
5.78 GB
5.12-5
(
bullseye-staging
)
Maybe-Successful
2020-05-15 12:48:37
mb-lxc-01
5h 40m
5.82 GB
5.10-5+b1
(
bullseye-staging
)
Maybe-Failed
2019-12-06 19:27:11
mb-lxc-02
1h 27m
1.58 GB
Maybe-Failed
2019-09-14 18:27:54
mb-lxc-01
1h 28m
1.53 GB
5.10-5
(
buster-staging
)
Maybe-Successful
2018-10-28 14:13:36
bm-wb-04
6h 2m
2.95 GB
5.10-4
(
buster-staging
)
Maybe-Successful
2018-10-11 13:07:15
bm-wb-04
5h 48m
2.95 GB
5.9-6
(
buster-staging
)
Maybe-Successful
2018-07-16 11:34:29
bm-wb-03
5h 55m
2.21 GB
5.6-1
(
stretch-staging
)
Maybe-Successful
2016-12-15 17:41:41
testbuildd
3h 7m
1.27 GB
5.4-3
(
stretch-staging
)
Maybe-Successful
2016-07-20 17:11:11
bm-wb-01
2h 39m
933.07 MB
5.4-2
(
stretch-staging
)
Maybe-Successful
2016-05-20 13:44:40
bm-wb-03
2h 34m
865.88 MB
5.3-1
(
stretch-staging
)
Maybe-Successful
2016-01-31 15:08:23
testwandboard
2h 52m
1 GB
5.2-1
(
stretch-staging
)
Maybe-Successful
2015-09-17 09:40:04
bm-wb-03
2h 48m
831.93 MB
5.1-1
(
stretch-staging
)
Maybe-Successful
2015-05-21 06:42:58
testwandboard
2h 3m
696.25 MB
5.0-3
(
stretch-staging
)
Maybe-Successful
2015-04-27 21:53:09
testwandboard
2h 4m
628 MB
4.9-4
(
jessie-staging
)
Maybe-Successful
2014-10-17 09:37:06
bm-wb-02
1h 50m
776.81 MB
4.9-3
(
jessie-staging
)
Maybe-Successful
2014-08-18 08:30:24
testbuildd
1h 51m
813.47 MB
4.7-2
(
jessie-staging
)
Maybe-Successful
2014-07-26 08:35:21
testwandboard
1h 47m
786.78 MB
4.5-2
(
jessie-staging
)
Maybe-Successful
2013-09-05 08:56:30
testbuildd
1h 33m
767.45 MB
4.4-2
(
jessie-staging
)
Maybe-Successful
2013-08-15 02:10:50
testbuildd
1h 45m
762.6 MB
Maybe-Failed
2013-07-22 07:44:30
testwandboard
48m
334.02 MB
4.3-6
(
jessie-staging
)
Maybe-Successful
2013-05-21 04:46:11
Source Builder <sbuild@debian-armhf>
31m
674.78 MB