@python/python3.11

Project ID: 49698

Build 3246190

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2022-01-22 17:37 UTC (3 months ago)
Started:
2022-01-22 17:38 UTC (3 months ago)
Finished:
2022-01-22 17:40 UTC (3 months ago)
Build time:
2 minutes
Networking enabled:
False
Commit:
e3c3a6f
Directory:
python3.11
Built by:
https://src.fedoraproject.org/user/jjames

Source

Package:
cvc4
Version:
1.8-8
Source Type:
Build from DistGit
Distgit:
fedora
Committish:
e3c3a6fa543b6d9bda8b49a1d5280a71420b9b10
Clone_Url:
https://src.fedoraproject.org/rpms/cvc4

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
-
Chroot Name Dist Git Source Build Time Logs State
fedora-rawhide-x86_64 c2628d4 2 minutes backend.log.gz , builder-live.log.gz failed