Thu, 12 Dec 2024 02:38:35 UTC | login

Information for task buildArch (ghc-microlens-th-0.4.3.5-3.fc33.src.rpm, riscv64)

ID636103
MethodbuildArch
Parameters Arch: riscv64
Build tag: f33-build
Keep srpm: True
Pkg: tasks/5568/635568/ghc-microlens-th-0.4.3.5-3.fc33.src.rpm
Options:
  repo_id = 54049
State closed
CreatedThu, 13 Aug 2020 13:32:07 UTC
StartedThu, 13 Aug 2020 13:32:14 UTC
CompletedThu, 13 Aug 2020 14:50:13 UTC
Total time 1:18:06
Task time 1:17:59
Owner davidlt
Channel default
Host fedora-riscv-4.gcc143.osuosl.org
Archriscv64
Buildroot /var/lib/mock/f33-build-288344-54049
Parent build (f33, /rpms/ghc-microlens-th.git:863b0f7882e056020e7651851eedcfc5c597b4e9)
Descendants
Waiting?no
Awaited?no
Priority19
Weight3.38
Result
rpms = tasks/6103/636103/ghc-microlens-th-devel-0.4.3.5-3.fc33.riscv64.rpm, tasks/6103/636103/ghc-microlens-th-0.4.3.5-3.fc33.riscv64.rpm, tasks/6103/636103/ghc-microlens-th-prof-0.4.3.5-3.fc33.riscv64.rpm, tasks/6103/636103/ghc-microlens-th-doc-0.4.3.5-3.fc33.noarch.rpm
srpms = tasks/6103/636103/ghc-microlens-th-0.4.3.5-3.fc33.src.rpm
logs = tasks/6103/636103/root.log, tasks/6103/636103/build.log, task ...
rpms = tasks/6103/636103/ghc-microlens-th-devel-0.4.3.5-3.fc33.riscv64.rpm, tasks/6103/636103/ghc-microlens-th-0.4.3.5-3.fc33.riscv64.rpm, tasks/6103/636103/ghc-microlens-th-prof-0.4.3.5-3.fc33.riscv64.rpm, tasks/6103/636103/ghc-microlens-th-doc-0.4.3.5-3.fc33.noarch.rpm
srpms = tasks/6103/636103/ghc-microlens-th-0.4.3.5-3.fc33.src.rpm
logs = tasks/6103/636103/root.log, tasks/6103/636103/build.log, tasks/6103/636103/hw_info.log, tasks/6103/636103/state.log, tasks/6103/636103/mock_output.log, tasks/6103/636103/noarch_rpmdiff.json
brootid = 288344
Output noarch_rpmdiff.json
build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
ghc-microlens-th-0.4.3.5-3.fc33.riscv64.rpm
ghc-microlens-th-0.4.3.5-3.fc33.src.rpm
ghc-microlens-th-devel-0.4.3.5-3.fc33.riscv64.rpm
ghc-microlens-th-doc-0.4.3.5-3.fc33.noarch.rpm
ghc-microlens-th-prof-0.4.3.5-3.fc33.riscv64.rpm