Sat, 28 Sep 2024 16:24:03 UTC | login

Information for task buildSRPMFromSCM (/rpms/Agda.git:e0dc3e164114587b9a44b0dde007955c9bf5536a)

ID717015
MethodbuildSRPMFromSCM
Parameters Build tag: f33-build
Url: git+https://src.fedoraproject.org/rpms/Agda.git#e0dc3e164114587b9a44b0dde007955c9bf5536a
Options:
  repo_id = 58295
  scratch = None
State closed
CreatedSun, 23 Aug 2020 15:22:49 UTC
StartedSun, 23 Aug 2020 15:22:51 UTC
CompletedSun, 23 Aug 2020 15:41:45 UTC
Total time 0:18:55
Task time 0:18:53
Owner davidlt
Channel default
Host fedora-riscv-2.gcc164.osuosl.org
Archnoarch
Buildroot /var/lib/mock/f33-build-331958-58295
Parent build (f33, /rpms/Agda.git:e0dc3e164114587b9a44b0dde007955c9bf5536a)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/7015/717015/Agda-2.6.1-27.fc33.src.rpm
logs = tasks/7015/717015/root.log, tasks/7015/717015/build.log, tasks/7015/717015/hw_info.log, tasks/7015/717015/state.log
brootid = 331958
source = url=git+https://src.fedoraproject.org/rpms/Agda.git#e0dc3e164114587b9a44b0dde007955c9bf5536a, source=git+https://src.fedoraproject.org/rpms/Agda.git#e0dc3e164114587b9a44b0dde007955c9bf5536a
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
Agda-2.6.1-27.fc33.src.rpm