buildSRPMFromSCM (/rpms/ghc-copilot-theorem.git:280de33c79d1b9514b06dc703969b4f4904c7bd7)

closed

Task 120861 owned by guoguo created Thu, 29 Oct 2026 17:35:02 UTC ran 0:02:45

Result

srpm = tasks/861/120861/ghc-copilot-theorem-4.5.1-2.fc45.src.rpm
logs = tasks/861/120861/state.log, tasks/861/120861/root.log, tasks/861/120861/build.log, tasks/861/120861/hw_info.log, tasks/861/120861/dnf5.log, tasks/861/120861/mock_output.log, tasks/861/120861/mock_config.log
brootid = 52157
source = url=git+https://src.fedoraproject.org/rpms/ghc-copilot-theorem.git#280de33c79d1b9514b06dc703969b4f4904c7bd7, source=git+https://src.fedoraproject.org/rpms/ghc-copilot-theorem.git#280de33c79d1b9514b06dc703969b4f4904c7bd7

Descendants

Parent: build (f45, /rpms/ghc-copilot-theorem.git:280de33c79d1b9514b06dc703969b4f4904c7bd7)

This task has no descendants.

Logs task 120861

—

Details

ID: 120861
Method: buildSRPMFromSCM
State: closed
Created: Thu, 29 Oct 2026 17:35:02 UTC
Started: Thu, 29 Oct 2026 17:36:32 UTC
Completed: Thu, 29 Oct 2026 17:39:18 UTC
Total time: 0:04:15
Task time: 0:02:45
Owner: guoguo
Channel: srpm
Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/ghc-copilot-theorem.git:280de33c79d1b9514b06dc703969b4f4904c7bd7)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Parameters

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/ghc-copilot-theorem.git#280de33c79d1b9514b06dc703969b4f4904c7bd7

Options repo_id = 908
scratch = None

Output

Buildroot

/var/lib/mock/f45-build-52157-908