•   Overview
•   Packages
•   Builds
•   Modules
•   Monitor

Build Monitor

Package	Epel 9			Fedora 39			Fedora 40			Fedora 41			Fedora rawhide
	aarch64	ppc64le	x86_64	aarch64	ppc64le	x86_64	aarch64	ppc64le	x86_64	aarch64	ppc64le	x86_64	aarch64	ppc64le	x86_64
lean4	7816307 succeeded 4.10.0-1	7816307 succeeded 4.10.0-1	7812177 succeeded 4.10.0-1	7816307 succeeded 4.10.0-1	7816307 succeeded 4.10.0-1	7811993 succeeded 4.10.0-1	7816307 succeeded 4.10.0-1	7816307 succeeded 4.10.0-1	7811859 succeeded 4.10.0-1	7816307 forked 4.10.0-1	7816307 forked 4.10.0-1	7811737 forked 4.10.0-1	8103598 succeeded 4.11.0-1	8103598 succeeded 4.11.0-1	8103607 failed 4.12.0-1
lean4-rc	7489205 succeeded 4.8.0~rc2-1	7489205 succeeded 4.8.0~rc2-1	7489130 succeeded 4.8.0~rc2-1	7489205 succeeded 4.8.0~rc2-1	7489205 succeeded 4.8.0~rc2-1	7489081 succeeded 4.8.0~rc2-1	7489205 succeeded 4.8.0~rc2-1	7489205 succeeded 4.8.0~rc2-1	7489078 succeeded 4.8.0~rc2-1	7489205 forked 4.8.0~rc2-1	7489205 forked 4.8.0~rc2-1	7489046 forked 4.8.0~rc2-1	7489205 succeeded 4.8.0~rc2-1	7489205 succeeded 4.8.0~rc2-1	7489046 succeeded 4.8.0~rc2-1

Possible build states

importing - Package sources are being imported into Copr DistGit.
pending - Build is waiting in queue for a backend worker.
starting - Backend worker is trying to acquire a builder machine.
running - Build in progress.
succeeded - Successfully built.
forked - Build has been forked from another build.
skipped - This package was skipped, see the reason for each chroot separately.
failed - Build failed. See logs for more details.
canceled - The build has been cancelled manually.
waiting - Task is waiting for something else to finish.