buildSRPMFromSCM (/rpms/idris2.git:346243b11b742432dcd3c00889fcfc6bcddfd7d1)

closed

Task 121564 owned by guoguo created Thu, 29 Oct 2026 18:19:29 UTC ran 0:04:49

Result

srpm = tasks/1564/121564/idris2-0.8.0-6.fc45.src.rpm
logs = tasks/1564/121564/state.log, tasks/1564/121564/root.log, tasks/1564/121564/build.log, tasks/1564/121564/hw_info.log, tasks/1564/121564/dnf5.log, tasks/1564/121564/mock_output.log, tasks/1564/121564/mock_config.log
brootid = 52533
source = url=git+https://src.fedoraproject.org/rpms/idris2.git#346243b11b742432dcd3c00889fcfc6bcddfd7d1, source=git+https://src.fedoraproject.org/rpms/idris2.git#346243b11b742432dcd3c00889fcfc6bcddfd7d1

Descendants

Parent: build (f45, /rpms/idris2.git:346243b11b742432dcd3c00889fcfc6bcddfd7d1)

This task has no descendants.

Logs task 121564

—

Details

ID: 121564
Method: buildSRPMFromSCM
State: closed
Created: Thu, 29 Oct 2026 18:19:29 UTC
Started: Thu, 29 Oct 2026 18:24:28 UTC
Completed: Thu, 29 Oct 2026 18:29:17 UTC
Total time: 0:09:48
Task time: 0:04:49
Owner: guoguo
Channel: srpm
Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/idris2.git:346243b11b742432dcd3c00889fcfc6bcddfd7d1)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Parameters

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/idris2.git#346243b11b742432dcd3c00889fcfc6bcddfd7d1

Options repo_id = 910
scratch = None

Output

Buildroot

/var/lib/mock/f45-build-52533-910