Fri, 05 Jul 2024 18:55:45 UTC | login

Information for task buildSRPMFromSCM (/rpms/coq.git:0428b887cef6802f29cf38cf8d3a9e6f9665a0a4)

ID615772
MethodbuildSRPMFromSCM
Parameters Build tag: f33-build
Url: git+https://src.fedoraproject.org/rpms/coq.git#0428b887cef6802f29cf38cf8d3a9e6f9665a0a4
Options:
  repo_id = 51734
  scratch = None
State failed
CreatedTue, 09 Jun 2020 15:27:41 UTC
StartedTue, 09 Jun 2020 15:28:39 UTC
CompletedTue, 09 Jun 2020 15:38:13 UTC
Total time 0:10:32
Task time 0:09:34
Owner davidlt
Channel default
Host fedora-riscv-6.gcc141.osuosl.org
Archnoarch
Buildroot /var/lib/mock/f33-build-282539-51734
Parent build (f33, /rpms/coq.git:0428b887cef6802f29cf38cf8d3a9e6f9665a0a4)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
BuildError: Error running GIT command "git clone -n https://src.fedoraproject.org/rpms/coq.git /var/lib/mock/f33-build-282539-51734/root/chroot_tmpdir/scmroot/coq", see checkout.log for details
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)