Sat, 23 Nov 2024 11:01:00 UTC | login

Information for task buildSRPMFromSCM (/rpms/cvc4.git:8df1bcefe40166fe8345e388e7c98bc2ef419cdb)

ID269747
MethodbuildSRPMFromSCM
Parameters Build tag: f31-build
Url: git+https://src.fedoraproject.org/rpms/cvc4.git#8df1bcefe40166fe8345e388e7c98bc2ef419cdb
Options:
  scratch = None
  repo_id = 32384
State closed
CreatedThu, 15 Aug 2019 10:38:37 UTC
StartedThu, 15 Aug 2019 10:39:13 UTC
CompletedThu, 15 Aug 2019 11:18:49 UTC
Total time 0:40:12
Task time 0:39:36
Owner davidlt
Channel default
Host fedora-riscv-4.gcc164.osuosl.org
Archnoarch
Buildroot /var/lib/mock/f31-build-92836-32384
Parent build (f31-candidate, /rpms/cvc4.git:8df1bcefe40166fe8345e388e7c98bc2ef419cdb)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
brootid = 92836
source = url=git+https://src.fedoraproject.org/rpms/cvc4.git#8df1bcefe40166fe8345e388e7c98bc2ef419cdb, source=git+https://src.fedoraproject.org/rpms/cvc4.git#8df1bcefe40166fe8345e388e7c98bc2ef419cdb
srpm = tasks/9747/269747/cvc4-1.7-4.fc31.src.rpm
logs = tasks/9747/269747/hw_info.log, tasks/9747/269747/root.log, tasks/9747/269747/state.log, tasks/9747/269747/build.log
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
cvc4-1.7-4.fc31.src.rpm