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.

jjames/OCaml

Project ID: 184188

Build 9224272

General Information

Status:: succeeded - Successfully built.
Submitted:: 2025-06-28 21:43 UTC (7 hours ago)
Started:: 2025-06-28 21:43 UTC (7 hours ago)
Finished:: 2025-06-28 21:44 UTC (7 hours ago)
Build time:: 48 seconds
Build timeout:: 5 hours
Networking enabled:: False
Directory:: OCaml
Built by:: jjames

Source

Package:: prooftree
Version:: 0.14-7
Source Type:: SRPM or .spec file upload
File Name:: prooftree-0.14-7.fc43.src.rpm

Results

Source state:: succeeded
Source build logs:: builder-live.log.gz , backend.log.gz , import.log
Built Packages:: prooftree-debugsource 0.14; prooftree-debuginfo 0.14; prooftree 0.14

Chroot Name	Dist Git Source	Build Time	Logs	State
fedora-rawhide-x86_64	35ef527	48 seconds	builder-live.log.gz , backend.log.gz	succeeded