Sat, 07 Sep 2024 16:13:31 UTC | login

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

ID1679927
MethodbuildSRPMFromSCM
Parameters Build tag: f40-build
Url: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#ef6fd01e9d9fda9da9808e4c2cfda7a91c18ff1f
Options:
  repo_id = 143880
  scratch = None
State closed
CreatedThu, 11 Apr 2024 05:39:46 UTC
StartedThu, 11 Apr 2024 06:50:04 UTC
CompletedThu, 11 Apr 2024 06:53:35 UTC
Total time 1:13:49
Task time 0:03:31
Owner davidlt
Channel default
Host milkvpioneer01.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f40-build-801870-143880
Parent build (f40, /rpms/gappalib-coq.git:ef6fd01e9d9fda9da9808e4c2cfda7a91c18ff1f)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/9927/1679927/gappalib-coq-1.5.4-3.fc40.src.rpm
logs = tasks/9927/1679927/state.log, tasks/9927/1679927/hw_info.log, tasks/9927/1679927/build.log, tasks/9927/1679927/root.log
brootid = 801870
source = url=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#ef6fd01e9d9fda9da9808e4c2cfda7a91c18ff1f, source=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#ef6fd01e9d9fda9da9808e4c2cfda7a9 ...
srpm = tasks/9927/1679927/gappalib-coq-1.5.4-3.fc40.src.rpm
logs = tasks/9927/1679927/state.log, tasks/9927/1679927/hw_info.log, tasks/9927/1679927/build.log, tasks/9927/1679927/root.log
brootid = 801870
source = url=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#ef6fd01e9d9fda9da9808e4c2cfda7a91c18ff1f, source=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#ef6fd01e9d9fda9da9808e4c2cfda7a91c18ff1f
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.4-3.fc40.src.rpm