jakub/gcc-13-test.checker

Project ID: 76794

Build 5185711 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2022-12-28 21:19 UTC (1 year, 10 months ago)
Started:
2022-12-29 11:00 UTC (1 year, 10 months ago)
Finished:
2022-12-29 16:21 UTC (1 year, 10 months ago)
Build time:
5 hours
Build timeout:
1 day and 8 hours
Networking enabled:
False
Directory:
gcc-13-test.checker
Built by:
jakub

Source

Package:
ocaml-menhir
Version:
20220210-10
Source Type:
Build from DistGit
Committish:
0573775e1f5c578b78ceb760eaa0a21da2e08a0f
Clone_Url:
https://src.fedoraproject.org/rpms/ocaml-menhir.git

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
coq-menhirlib 20220210
ocaml-menhir 20220210
ocaml-menhir-debuginfo 20220210
ocaml-menhir-debugsource 20220210
ocaml-menhirlib 20220210
ocaml-menhirlib-debuginfo 20220210
ocaml-menhirlib-devel 20220210
Chroot Name Dist Git Source Build Time Logs State
fedora-38-i386 89d1f14 2 minutes RPM build has not started yet forked
fedora-38-ppc64le 89d1f14 5 minutes RPM build has not started yet forked
fedora-38-s390x 89d1f14 4 minutes RPM build has not started yet forked
fedora-38-x86_64 89d1f14 3 minutes RPM build has not started yet forked
fedora-39-i386 89d1f14 2 minutes RPM build has not started yet forked
fedora-39-ppc64le 89d1f14 5 minutes RPM build has not started yet forked
fedora-39-s390x 89d1f14 4 minutes RPM build has not started yet forked
fedora-39-x86_64 89d1f14 3 minutes RPM build has not started yet forked
fedora-40-i386 89d1f14 2 minutes RPM build has not started yet forked
fedora-40-ppc64le 89d1f14 5 minutes RPM build has not started yet forked
fedora-40-s390x 89d1f14 4 minutes RPM build has not started yet forked
fedora-40-x86_64 89d1f14 3 minutes RPM build has not started yet forked
fedora-41-i386 89d1f14 2 minutes RPM build has not started yet forked
fedora-41-ppc64le 89d1f14 5 minutes RPM build has not started yet forked
fedora-41-s390x 89d1f14 4 minutes RPM build has not started yet forked
fedora-41-x86_64 89d1f14 3 minutes RPM build has not started yet forked
fedora-rawhide-i386 89d1f14 2 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-ppc64le 89d1f14 5 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-s390x 89d1f14 4 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-x86_64 89d1f14 3 minutes builder-live.log.gz , backend.log.gz succeeded