1. Home
  2. psimovec
  3. openblas-0.3.23
  4. Builds
  5. 9457236
  • 0

psimovec/openblas-0.3.23

Project ID: 95282

Build 9457236 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2025-08-22 16:26 UTC (15 hours ago)
Started:
2025-08-22 16:26 UTC (15 hours ago)
Finished:
2025-08-22 19:47 UTC (11 hours ago)
Build time:
3 hours
Build timeout:
5 hours
Networking enabled:
False
Commit:
dfde276
Directory:
openblas-0.3.23
Built by:
https://src.fedoraproject.org/user/jjames

Source

Package:
why3
Version:
1.8.1-7
Source Type:
Build from DistGit
Distgit:
fedora
Committish:
dfde276402c5a9086b1851e9e336766131057fb2
Clone_Url:
https://src.fedoraproject.org/rpms/why3

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz , import.log
Built Packages:
why3-debuginfo 1.8.1
why3-all 1.8.1
ocaml-why3-devel 1.8.1
why3-debugsource 1.8.1
ocaml-why3-debuginfo 1.8.1
why3-emacs 1.8.1
why3-examples 1.8.1
why3 1.8.1
why3-proofgeneral 1.8.1
ocaml-why3 1.8.1
Chroot Name Dist Git Source Build Time Logs State
fedora-41-aarch64 16a3118 6 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-41-i386 - 6 seconds RPM build has not started yet skipped
fedora-41-ppc64le 16a3118 18 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-41-s390x 16a3118 10 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-41-x86_64 16a3118 5 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-42-aarch64 16a3118 6 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-42-i386 - 6 seconds RPM build has not started yet skipped
fedora-42-ppc64le 16a3118 13 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-42-s390x 16a3118 11 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-42-x86_64 16a3118 5 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-43-aarch64 16a3118 7 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-43-ppc64le 16a3118 13 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-43-s390x 16a3118 10 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-43-x86_64 16a3118 5 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-aarch64 16a3118 7 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-i386 - 6 seconds RPM build has not started yet skipped
fedora-rawhide-ppc64le 16a3118 20 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-s390x 16a3118 10 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-x86_64 16a3118 5 minutes builder-live.log.gz , backend.log.gz succeeded