Warning! Fedora moves to a new datacenter, which may result in some instabilities in Copr. The expected outage is expected to happen from 30th June to 4th July. For more information please refer to this ticket.

@copr/PyPI

Project ID: 52707

Build 9255459 background

General Information

Status:: failed - Build failed. See logs for more details.
Submitted:: 2025-07-08 23:06 UTC (4 hours ago)
Started:: 2025-07-08 23:07 UTC (4 hours ago)
Finished:: 2025-07-08 23:11 UTC (4 hours ago)
Build time:: 3 minutes
Build timeout:: 5 hours
Networking enabled:: False
Directory:: PyPI
Built by:: ksurma

Source

Package:: python-certora-cli-alpha-master
Version:: 20250708.21.45.791569-1
Source Type:: Build from PyPI
PyPI package name: certora-cli-alpha-master
PyPI package version: 20250708.21.45.791569
Spec generator: pyp2spec

Results

Source state:: succeeded
Source build logs:: builder-live.log.gz , backend.log.gz , import.log
Built Packages:: -

Chroot Name	Dist Git Source	Build Time	Logs	State	Log Detective AI
epel-9-x86_64	dfa4cd2	3 minutes	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI
fedora-41-x86_64	dfa4cd2	a minute	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI
fedora-42-x86_64	dfa4cd2	a minute	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI
fedora-rawhide-x86_64	dfa4cd2	a minute	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI