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

psimovec/openblas-0.3.23

Project ID: 95282

Build 9560530 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2025-09-16 21:25 UTC (10 days ago)
Started:
2025-09-16 21:26 UTC (10 days ago)
Finished:
2025-09-16 21:42 UTC (10 days ago)
Build time:
15 minutes
Build timeout:
5 hours
Networking enabled:
False
Commit:
10869d3
Directory:
openblas-0.3.23
Built by:
https://src.fedoraproject.org/user/jjames

Source

Package:
why3
Version:
1.8.2-1
Source Type:
Build from DistGit
Distgit:
fedora
Committish:
10869d3c2e3e17871ea018f5e159a79b3cef5600
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-debugsource 1.8.2
ocaml-why3-devel 1.8.2
why3 1.8.2
why3-examples 1.8.2
why3-debuginfo 1.8.2
why3-emacs 1.8.2
ocaml-why3-debuginfo 1.8.2
why3-all 1.8.2
ocaml-why3 1.8.2
why3-proofgeneral 1.8.2
Chroot Name Dist Git Source Build Time Logs State
fedora-41-aarch64 2a63ad8 8 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-41-i386 - 5 seconds RPM build has not started yet skipped
fedora-41-ppc64le 2a63ad8 14 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-41-s390x 2a63ad8 12 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-41-x86_64 2a63ad8 7 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-42-aarch64 2a63ad8 8 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-42-i386 - 5 seconds RPM build has not started yet skipped
fedora-42-ppc64le 2a63ad8 15 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-42-s390x 2a63ad8 12 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-42-x86_64 2a63ad8 7 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-43-aarch64 2a63ad8 8 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-43-i386 - 5 seconds RPM build has not started yet skipped
fedora-43-ppc64le 2a63ad8 14 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-43-s390x 2a63ad8 11 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-43-x86_64 2a63ad8 7 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-aarch64 2a63ad8 7 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-i386 - 5 seconds RPM build has not started yet skipped
fedora-rawhide-ppc64le 2a63ad8 13 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-s390x 2a63ad8 12 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-x86_64 2a63ad8 7 minutes builder-live.log.gz , backend.log.gz succeeded