buildSRPMFromSCM (/rpms/gappalib-coq.git:a42cb3ffe46d7bde1d2ed106ca4b35b9d02a8f92)

closed

Task 120797 owned by guoguo created Thu, 29 Oct 2026 17:30:07 UTC ran 0:03:43

Result

srpm = tasks/797/120797/gappalib-coq-1.11.0-5.fc45.src.rpm
logs = tasks/797/120797/state.log, tasks/797/120797/root.log, tasks/797/120797/build.log, tasks/797/120797/hw_info.log, tasks/797/120797/dnf5.log, tasks/797/120797/mock_output.log, tasks/797/120797/mock_config.log
brootid = 52118
source = url=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#a42cb3ffe46d7bde1d2ed106ca4b35b9d02a8f92, source=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#a42cb3ffe46d7bde1d2ed106ca4b35b9d02a8f92

Descendants

Parent: build (f45, /rpms/gappalib-coq.git:a42cb3ffe46d7bde1d2ed106ca4b35b9d02a8f92)

This task has no descendants.

Logs task 120797

—

Details

ID: 120797
Method: buildSRPMFromSCM
State: closed
Created: Thu, 29 Oct 2026 17:30:07 UTC
Started: Thu, 29 Oct 2026 17:33:07 UTC
Completed: Thu, 29 Oct 2026 17:36:51 UTC
Total time: 0:06:43
Task time: 0:03:43
Owner: guoguo
Channel: srpm
Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/gappalib-coq.git:a42cb3ffe46d7bde1d2ed106ca4b35b9d02a8f92)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Parameters

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/gappalib-coq.git#a42cb3ffe46d7bde1d2ed106ca4b35b9d02a8f92

Options repo_id = 907
scratch = None

Output

Buildroot

/var/lib/mock/f45-build-52118-907