Mon, 16 Dec 2024 22:38:16 UTC | login

Information for task buildSRPMFromSCM (/rpms/yices.git:be95aaac3339958dd25342961ef793f53e302976)

ID1684200
MethodbuildSRPMFromSCM
Parameters Build tag: f40-build
Url: git+https://src.fedoraproject.org/rpms/yices.git#be95aaac3339958dd25342961ef793f53e302976
Options:
  repo_id = 144465
  scratch = None
State closed
CreatedFri, 12 Apr 2024 15:55:51 UTC
StartedFri, 12 Apr 2024 17:21:12 UTC
CompletedFri, 12 Apr 2024 17:24:53 UTC
Total time 1:29:02
Task time 0:03:40
Owner davidlt
Channel default
Host milkvpioneer01.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f40-build-804203-144465
Parent build (f40, /rpms/yices.git:be95aaac3339958dd25342961ef793f53e302976)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/4200/1684200/yices-2.6.4-12.fc40.src.rpm
logs = tasks/4200/1684200/state.log, tasks/4200/1684200/hw_info.log, tasks/4200/1684200/build.log, tasks/4200/1684200/root.log
brootid = 804203
source = url=git+https://src.fedoraproject.org/rpms/yices.git#be95aaac3339958dd25342961ef793f53e302976, source=git+https://src.fedoraproject.org/rpms/yices.git#be95aaac3339958dd25342961ef793f53e302976
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
yices-2.6.4-12.fc40.src.rpm