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 9226762

General Information

Status:: succeeded - Successfully built.
Submitted:: 2025-06-30 04:52 UTC (10 hours ago)
Started:: 2025-06-30 04:53 UTC (10 hours ago)
Finished:: 2025-06-30 06:21 UTC (8 hours ago)
Build time:: an hour
Build timeout:: 5 hours
Networking enabled:: True
Directory:: lean4
Built by:: petersen

Source

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

Results

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

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