Mon, 02 Dec 2024 13:23:04 UTC | login

Information for task buildArch (ghc-semigroupoids-6.0.1-1.fc41.src.rpm, riscv64)

ID1779579
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build
Keep srpm: True
Pkg: tasks/9558/1779558/ghc-semigroupoids-6.0.1-1.fc41.src.rpm
Options:
  repo_id = 160357
State closed
CreatedMon, 12 Aug 2024 15:36:59 UTC
StartedMon, 12 Aug 2024 15:37:11 UTC
CompletedMon, 12 Aug 2024 16:08:43 UTC
Total time 0:31:43
Task time 0:31:32
Owner davidlt
Channel default
Host unmatchedbuild12.davidlt.org
Archriscv64
Buildroot /var/lib/mock/f41-build-839766-160357
Parent build (f41, /rpms/ghc-semigroupoids.git:56be967e422b2d5323d410f17f5eb6f15f1e9ba6)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.11
Result
rpms = tasks/9579/1779579/ghc-semigroupoids-6.0.1-1.fc41.riscv64.rpm, tasks/9579/1779579/ghc-semigroupoids-devel-6.0.1-1.fc41.riscv64.rpm, tasks/9579/1779579/ghc-semigroupoids-doc-6.0.1-1.fc41.noarch.rpm, tasks/9579/1779579/ghc-semigroupoids-prof-6.0.1-1.fc41.riscv64.rpm
srpms = tasks/9579/1779579/ghc-semigroupoids-6.0.1-1.fc41.src.rpm
logs = tasks/9579/1779579/hw_info.log, tasks/9579/1779579/state.log, ...
rpms = tasks/9579/1779579/ghc-semigroupoids-6.0.1-1.fc41.riscv64.rpm, tasks/9579/1779579/ghc-semigroupoids-devel-6.0.1-1.fc41.riscv64.rpm, tasks/9579/1779579/ghc-semigroupoids-doc-6.0.1-1.fc41.noarch.rpm, tasks/9579/1779579/ghc-semigroupoids-prof-6.0.1-1.fc41.riscv64.rpm
srpms = tasks/9579/1779579/ghc-semigroupoids-6.0.1-1.fc41.src.rpm
logs = tasks/9579/1779579/hw_info.log, tasks/9579/1779579/state.log, tasks/9579/1779579/build.log, tasks/9579/1779579/root.log, tasks/9579/1779579/mock_output.log, tasks/9579/1779579/noarch_rpmdiff.json
brootid = 839766
Output noarch_rpmdiff.json
build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
ghc-semigroupoids-6.0.1-1.fc41.riscv64.rpm
ghc-semigroupoids-6.0.1-1.fc41.src.rpm
ghc-semigroupoids-devel-6.0.1-1.fc41.riscv64.rpm
ghc-semigroupoids-doc-6.0.1-1.fc41.noarch.rpm
ghc-semigroupoids-prof-6.0.1-1.fc41.riscv64.rpm