petersen/lean4

Project ID: 110984

Build 9132006

Chroot Name	Dist Git Source	Build Time	Logs	State
epel-10-aarch64	db724c3	an hour	builder-live.log.gz , backend.log.gz	succeeded
epel-10-ppc64le	db724c3	an hour	builder-live.log.gz , backend.log.gz	succeeded
epel-9-aarch64	eef1baf	an hour	builder-live.log.gz , backend.log.gz	succeeded
epel-9-ppc64le	eef1baf	an hour	builder-live.log.gz , backend.log.gz	succeeded
fedora-41-aarch64	f9a2b68	an hour	builder-live.log.gz , backend.log.gz	succeeded
fedora-41-ppc64le	f9a2b68	4 hours	builder-live.log.gz , backend.log.gz	succeeded
fedora-42-aarch64	0aeb5f7	an hour	builder-live.log.gz , backend.log.gz	succeeded
fedora-42-ppc64le	0aeb5f7	4 hours	builder-live.log.gz , backend.log.gz	succeeded
fedora-rawhide-aarch64	31efea1	an hour	builder-live.log.gz , backend.log.gz	succeeded
fedora-rawhide-ppc64le	31efea1	an hour	builder-live.log.gz , backend.log.gz	succeeded