Thu, 19 Sep 2024 20:49:15 UTC | login

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

ID1445735
MethodbuildSRPMFromSCM
Parameters Build tag: f38-build
Url: git+https://src.fedoraproject.org/rpms/Agda.git#659376cb024b2aa9746228fdc33e853122a86513
Options:
  repo_id = 98983
  scratch = None
State closed
CreatedWed, 14 Jun 2023 09:47:40 UTC
StartedWed, 14 Jun 2023 14:47:43 UTC
CompletedWed, 14 Jun 2023 15:02:07 UTC
Total time 5:14:26
Task time 0:14:24
Owner davidlt
Channel default
Host unmatchedbuild06.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f38-build-723030-98983
Parent build (f38, /rpms/Agda.git:659376cb024b2aa9746228fdc33e853122a86513)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/5735/1445735/Agda-2.6.2.2-38.fc38.src.rpm
logs = tasks/5735/1445735/hw_info.log, tasks/5735/1445735/state.log, tasks/5735/1445735/build.log, tasks/5735/1445735/root.log
brootid = 723030
source = url=git+https://src.fedoraproject.org/rpms/Agda.git#659376cb024b2aa9746228fdc33e853122a86513, source=git+https://src.fedoraproject.org/rpms/Agda.git#659376cb024b2aa9746228fdc33e853122a86513
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
Agda-2.6.2.2-38.fc38.src.rpm