Thu, 25 Apr 2024 08:16:00 UTC | login

Information for task build (f33, /rpms/gappalib-coq.git:16c88bd4123849423c64b6eddbe3b404afcda890)

ID972196
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#16c88bd4123849423c64b6eddbe3b404afcda890
Options:
  wait_builds = 
State failed
CreatedWed, 20 Jan 2021 15:49:02 UTC
StartedWed, 20 Jan 2021 15:49:25 UTC
CompletedWed, 20 Jan 2021 16:03:10 UTC
Total time 0:14:07
Task time 0:13:44
Owner davidlt
Channel default
Host fedora-riscv-3.gcc161.osuosl.org
Archnoarch
Parent
Descendants failed build
Waiting?yes
Awaited?no
Priority20
Weight0.20
Result
<class 'OSError'>: [Errno 28] No space left on device: '/mnt/koji/work/tasks/2521/972521'
Output