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 1st July. For more information please refer to this ticket.

petersen/lean4

Project ID: 110984

Build 9007791

General Information

Status:: failed - Build failed. See logs for more details.
Submitted:: 2025-05-07 15:12 UTC (a month ago)
Started:: 2025-05-07 15:12 UTC (a month ago)
Finished:: 2025-05-07 15:53 UTC (a month ago)
Build time:: 40 minutes
Build timeout:: 5 hours
Networking enabled:: True
Directory:: lean4
Built by:: petersen

Source

Package:: lean4
Version:: 4.19.0-1
Source Type:: SRPM or .spec file upload
File Name:: lean4-4.19.0-1.src.rpm

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	Log Detective AI
fedora-41-x86_64	0d93f5e	40 minutes	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI