buildSRPMFromSCM (/rpms/rocq-stdlib.git:57cd1cd4f1bb39eb029dd362cf0ac91d5e480dc8)

closed

Task 125844 owned by guoguo created Fri, 30 Oct 2026 00:04:42 UTC ran 0:03:55

Result

srpm = tasks/5844/125844/rocq-stdlib-9.2.0-1.fc45.src.rpm
logs = tasks/5844/125844/state.log, tasks/5844/125844/root.log, tasks/5844/125844/build.log, tasks/5844/125844/hw_info.log, tasks/5844/125844/dnf5.log, tasks/5844/125844/mock_output.log, tasks/5844/125844/mock_config.log
brootid = 54763
source = url=git+https://src.fedoraproject.org/rpms/rocq-stdlib.git#57cd1cd4f1bb39eb029dd362cf0ac91d5e480dc8, source=git+https://src.fedoraproject.org/rpms/rocq-stdlib.git#57cd1cd4f1bb39eb029dd362cf0ac91d5e480dc8

Descendants

Parent: build (f45, /rpms/rocq-stdlib.git:57cd1cd4f1bb39eb029dd362cf0ac91d5e480dc8)

This task has no descendants.

Logs task 125844

—

Details

ID: 125844
Method: buildSRPMFromSCM
State: closed
Created: Fri, 30 Oct 2026 00:04:42 UTC
Started: Fri, 30 Oct 2026 00:09:07 UTC
Completed: Fri, 30 Oct 2026 00:13:02 UTC
Total time: 0:08:19
Task time: 0:03:55
Owner: guoguo
Channel: srpm
Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/rocq-stdlib.git:57cd1cd4f1bb39eb029dd362cf0ac91d5e480dc8)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Parameters

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/rocq-stdlib.git#57cd1cd4f1bb39eb029dd362cf0ac91d5e480dc8

Options repo_id = 937
scratch = None

Output

Buildroot

/var/lib/mock/f45-build-54763-937