1. Home
  2. rezso
  3. HDL
  4. Builds
  5. 6163122
  • 0

rezso/HDL

Project ID: 46761

Build 6163122

General Information

Status:
succeeded - Successfully built.
Submitted:
2023-07-12 01:53 UTC (9 months ago)
Started:
2023-07-12 01:53 UTC (9 months ago)
Finished:
2023-07-12 03:26 UTC (9 months ago)
Build time:
an hour
Build timeout:
2 days
Networking enabled:
True
Directory:
HDL
Built by:
rezso

Source

Package:
verible
Version:
0.0-20230710.0.git76cc3fad
Source Type:
SRPM or .spec file upload
File Name:
verible-0.0-20230710.0.git76cc3fad.src.rpm

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
verible 0.0
Chroot Name Dist Git Source Build Time Logs State
epel-8-aarch64 106ac3e 15 minutes builder-live.log.gz , backend.log.gz succeeded
epel-8-ppc64le 106ac3e 17 minutes builder-live.log.gz , backend.log.gz succeeded
epel-8-x86_64 106ac3e 30 minutes builder-live.log.gz , backend.log.gz succeeded
epel-9-aarch64 c449577 15 minutes builder-live.log.gz , backend.log.gz succeeded
epel-9-ppc64le c449577 19 minutes builder-live.log.gz , backend.log.gz succeeded
epel-9-x86_64 c449577 21 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-37-aarch64 c449577 14 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-37-ppc64le c449577 16 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-37-x86_64 c449577 21 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-38-aarch64 cd5dd19 14 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-38-ppc64le cd5dd19 55 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-38-x86_64 cd5dd19 23 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-39-ppc64le 106ac3e 15 minutes RPM build has not started yet forked
fedora-rawhide-aarch64 106ac3e 13 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-ppc64le 106ac3e 15 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-x86_64 106ac3e 21 minutes builder-live.log.gz , backend.log.gz succeeded