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 9230838 background

General Information

Status:: failed - Build failed. See logs for more details.
Submitted:: 2025-07-01 15:11 UTC (a day ago)
Started:: 2025-07-01 17:19 UTC (a day ago)
Finished:: 2025-07-01 17:22 UTC (a day ago)
Build time:: 2 minutes
Build timeout:: 5 hours
Networking enabled:: False
Directory:: PyPI
Built by:: ksurma

Source

Package:: python-certora-cli-alpha-master
Version:: 20250701.9.35.350020-1
Source Type:: Build from PyPI
PyPI package name: certora-cli-alpha-master
PyPI package version: 20250701.9.35.350020
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	1b8aed0	2 minutes	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI
fedora-41-x86_64	1b8aed0	a minute	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI
fedora-42-x86_64	1b8aed0	2 minutes	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI
fedora-rawhide-x86_64	1b8aed0	a minute	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI