Sun, 22 Dec 2024 16:53:13 UTC | login

Information for task buildSRPMFromSCM (/rpms/gappalib-coq.git:647137248cc065a2f81e14e687d862be0b12e1c6)

ID1386024
MethodbuildSRPMFromSCM
Parameters Build tag: f38-build
Url: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#647137248cc065a2f81e14e687d862be0b12e1c6
Options:
  repo_id = 89440
  scratch = None
State closed
CreatedFri, 31 Mar 2023 06:30:57 UTC
StartedFri, 31 Mar 2023 10:22:05 UTC
CompletedFri, 31 Mar 2023 10:35:30 UTC
Total time 4:04:33
Task time 0:13:24
Owner davidlt
Channel default
Host unmatched01.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f38-build-702884-89440
Parent build (f38, /rpms/gappalib-coq.git:647137248cc065a2f81e14e687d862be0b12e1c6)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/6024/1386024/gappalib-coq-1.5.2-7.fc38.src.rpm
logs = tasks/6024/1386024/hw_info.log, tasks/6024/1386024/state.log, tasks/6024/1386024/build.log, tasks/6024/1386024/root.log
brootid = 702884
source = url=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#647137248cc065a2f81e14e687d862be0b12e1c6, source=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#647137248cc065a2f81e14e687d862be ...
srpm = tasks/6024/1386024/gappalib-coq-1.5.2-7.fc38.src.rpm
logs = tasks/6024/1386024/hw_info.log, tasks/6024/1386024/state.log, tasks/6024/1386024/build.log, tasks/6024/1386024/root.log
brootid = 702884
source = url=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#647137248cc065a2f81e14e687d862be0b12e1c6, source=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#647137248cc065a2f81e14e687d862be0b12e1c6
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
gappalib-coq-1.5.2-7.fc38.src.rpm