Sun, 16 Jun 2024 12:14:37 UTC | login

Information for task build (f33, /rpms/coq.git:d098043f2dd236170c117535f495262ad26c68f5)

ID626928
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/coq.git#d098043f2dd236170c117535f495262ad26c68f5
Options:
  wait_builds = 
State failed
CreatedThu, 13 Aug 2020 10:14:03 UTC
StartedThu, 13 Aug 2020 10:14:56 UTC
CompletedThu, 13 Aug 2020 10:43:00 UTC
Total time 0:28:56
Task time 0:28:04
Owner davidlt
Channel default
Host hifive.delorie.com
Archnoarch
Parent
Descendants failed build
Waiting?yes
Awaited?no
Priority20
Weight0.20
Result
BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information
Output