dmalcolm/gcc-15-smoketest

Project ID: 156521

Build 8366043 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2024-12-09 07:25 UTC (13 days ago)
Started:
2024-12-09 07:26 UTC (13 days ago)
Finished:
2024-12-09 08:01 UTC (13 days ago)
Build time:
35 minutes
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
139170
Directory:
gcc-15-smoketest
Built by:
dmalcolm

Source

Package:
cbmc
Version:
6.4.1-1
Source Type:
Build from DistGit
Committish:
f6c3a091b9503c618f8e6f25fcd363a79aa0d986
Clone_Url:
https://src.fedoraproject.org/rpms/cbmc.git

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz , import.log
Built Packages:
cbmc 6.4.1
cbmc-doc 6.4.1
cbmc-debuginfo 6.4.1
cbmc-utils 6.4.1
cbmc-debugsource 6.4.1
Chroot Name Dist Git Source Build Time Logs State
fedora-rawhide-aarch64 02150ed 35 minutes builder-live.log.gz , backend.log.gz succeeded