Sat, 31 Oct 2026 07:08:20 UTC Log in

build (f45, /rpms/Agda.git:38873f26897882b48ec4b65f31e6a0385e526483)

failed

Task 109286 owned by guoguo created Thu, 29 Oct 2026 01:48:17 UTC ran 0:25:59

Result

BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information

Descendants

Parent: none (top-level task)

failed 109286 build
- closed 109391 buildSRPMFromSCM (/rpms/Agda.git:38873f26897882b48ec4b65f31e6a0385e526483)
- failed 109465 buildArch (Agda-2.8.0-60.fc45.src.rpm, riscv64)

Logs task 109286

—

Details

ID: 109286
Method: build
State: failed
Created: Thu, 29 Oct 2026 01:48:17 UTC
Started: Thu, 29 Oct 2026 01:48:49 UTC
Completed: Thu, 29 Oct 2026 02:14:48 UTC
Total time: 0:26:30
Task time: 0:25:59
Owner: guoguo
Channel: default
Host: sfbuilder04
Arch: noarch
Parent: —
Waiting?: yes
Awaited?: no
Priority: 20
Weight: 0.20

Parameters

Build targetf45

Srcgit+https://src.fedoraproject.org/rpms/Agda.git#38873f26897882b48ec4b65f31e6a0385e526483

Build

Agda-2.8.0-60.fc45 failed

Output

No outputs reported