thrnciar/python-sphinx

temporary project: will be deleted after 19 days

Project ID: 153435

Build 8258719 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2024-11-14 10:39 UTC (10 days ago)
Started:
2024-11-14 19:01 UTC (10 days ago)
Finished:
2024-11-14 19:12 UTC (10 days ago)
Build time:
11 minutes
Build timeout:
5 hours
Networking enabled:
False
Directory:
python-sphinx
Built by:
thrnciar

Source

Package:
why3
Version:
1.7.2-10
Source Type:
Build from DistGit
Distgit:
fedora
Committish:
rawhide
Clone_Url:
https://src.fedoraproject.org/rpms/why3.git

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz , import.log
Built Packages:
why3-emacs 1.7.2
why3-examples 1.7.2
ocaml-why3 1.7.2
why3-all 1.7.2
why3-debugsource 1.7.2
ocaml-why3-debuginfo 1.7.2
ocaml-why3-devel 1.7.2
why3-debuginfo 1.7.2
why3-proofgeneral 1.7.2
why3 1.7.2
Chroot Name Dist Git Source Build Time Logs State
fedora-rawhide-x86_64 8472a96 11 minutes builder-live.log.gz , backend.log.gz succeeded