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 9133476

General Information

Status:: succeeded - Successfully built.
Submitted:: 2025-06-04 20:40 UTC (25 days ago)
Started:: 2025-06-04 20:41 UTC (25 days ago)
Finished:: 2025-06-04 21:58 UTC (25 days ago)
Build time:: an hour
Build timeout:: 5 hours
Networking enabled:: True
Directory:: lean4
Built by:: petersen

Source

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

Results

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

Chroot Name	Dist Git Source	Build Time	Logs	State
fedora-41-x86_64	e9b3efd	an hour	builder-live.log.gz , backend.log.gz	succeeded