buildSRPMFromSCM (/rpms/coco-coq.git:eb0121271138639a7757c9ba13fe5f79b0647ae0)

closed

Task 12258 owned by guoguo created Mon, 12 Oct 2026 21:30:28 UTC ran 0:01:52

Result

srpm = tasks/2258/12258/coco-coq-0.1-37.fc45.src.rpm
logs = tasks/2258/12258/mock_config.log, tasks/2258/12258/build.log, tasks/2258/12258/mock_output.log, tasks/2258/12258/state.log, tasks/2258/12258/dnf5.log, tasks/2258/12258/hw_info.log, tasks/2258/12258/root.log
brootid = 4832
source = url=git+https://src.fedoraproject.org/rpms/coco-coq.git#eb0121271138639a7757c9ba13fe5f79b0647ae0, source=git+https://src.fedoraproject.org/rpms/coco-coq.git#eb0121271138639a7757c9ba13fe5f79b0647ae0

Descendants

Parent: build (f45, /rpms/coco-coq.git:eb0121271138639a7757c9ba13fe5f79b0647ae0)

This task has no descendants.

Logs task 12258

—

Details

ID: 12258
Method: buildSRPMFromSCM
State: closed
Created: Mon, 12 Oct 2026 21:30:28 UTC
Started: Mon, 12 Oct 2026 21:31:25 UTC
Completed: Mon, 12 Oct 2026 21:33:18 UTC
Total time: 0:02:49
Task time: 0:01:52
Owner: guoguo
Channel: default
Host: buildvm_riscv64_09.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/coco-coq.git:eb0121271138639a7757c9ba13fe5f79b0647ae0)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Parameters

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/coco-coq.git#eb0121271138639a7757c9ba13fe5f79b0647ae0

Options repo_id = 334
scratch = None

Output

Buildroot

/var/lib/mock/f45-build-4832-334