buildSRPMFromSCM (/rpms/why3.git:2eb4c29974d905a85592955393009e18605935a5)

closed

Task 127029 owned by guoguo created Fri, 30 Oct 2026 01:48:43 UTC ran 0:02:49

Result

srpm = tasks/7029/127029/why3-1.8.2-15.fc45.src.rpm
logs = tasks/7029/127029/state.log, tasks/7029/127029/root.log, tasks/7029/127029/build.log, tasks/7029/127029/hw_info.log, tasks/7029/127029/dnf5.log, tasks/7029/127029/mock_output.log, tasks/7029/127029/mock_config.log
brootid = 55388
source = url=git+https://src.fedoraproject.org/rpms/why3.git#2eb4c29974d905a85592955393009e18605935a5, source=git+https://src.fedoraproject.org/rpms/why3.git#2eb4c29974d905a85592955393009e18605935a5

Descendants

Parent: build (f45, /rpms/why3.git:2eb4c29974d905a85592955393009e18605935a5)

This task has no descendants.

Logs task 127029

—

Details

ID: 127029
Method: buildSRPMFromSCM
State: closed
Created: Fri, 30 Oct 2026 01:48:43 UTC
Started: Fri, 30 Oct 2026 01:51:17 UTC
Completed: Fri, 30 Oct 2026 01:54:07 UTC
Total time: 0:05:23
Task time: 0:02:49
Owner: guoguo
Channel: srpm
Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/why3.git:2eb4c29974d905a85592955393009e18605935a5)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Parameters

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/why3.git#2eb4c29974d905a85592955393009e18605935a5

Options repo_id = 943
scratch = None

Output

Buildroot

/var/lib/mock/f45-build-55388-943