buildSRPMFromSCM (/rpms/coq.git:d1626a30a6dfa7e777ede19419ba4549ae1c67f7)

closed

Task 110188 owned by guoguo created Thu, 29 Oct 2026 06:50:32 UTC ran 0:04:07

Result

srpm = tasks/188/110188/coq-8.20.1-5.fc45.src.rpm
logs = tasks/188/110188/state.log, tasks/188/110188/root.log, tasks/188/110188/build.log, tasks/188/110188/hw_info.log, tasks/188/110188/dnf5.log, tasks/188/110188/mock_output.log, tasks/188/110188/mock_config.log
brootid = 47119
source = url=git+https://src.fedoraproject.org/rpms/coq.git#d1626a30a6dfa7e777ede19419ba4549ae1c67f7, source=git+https://src.fedoraproject.org/rpms/coq.git#d1626a30a6dfa7e777ede19419ba4549ae1c67f7

Descendants

Parent: build (f45, /rpms/coq.git:d1626a30a6dfa7e777ede19419ba4549ae1c67f7)

This task has no descendants.

Logs task 110188

—

Details

ID: 110188
Method: buildSRPMFromSCM
State: closed
Created: Thu, 29 Oct 2026 06:50:32 UTC
Started: Thu, 29 Oct 2026 06:57:32 UTC
Completed: Thu, 29 Oct 2026 07:01:40 UTC
Total time: 0:11:08
Task time: 0:04:07
Owner: guoguo
Channel: srpm
Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/coq.git:d1626a30a6dfa7e777ede19419ba4549ae1c67f7)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Parameters

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/coq.git#d1626a30a6dfa7e777ede19419ba4549ae1c67f7

Options repo_id = 864
scratch = None

Output

Buildroot

/var/lib/mock/f45-build-47119-864