Sun, 01 Nov 2026 17:43:39 UTC Log in

build (f45, /rpms/why3.git:2eb4c29974d905a85592955393009e18605935a5)

failed

Task 127026 owned by guoguo created Fri, 30 Oct 2026 01:48:05 UTC ran 0:21:44

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 127026 build
- closed 127029 buildSRPMFromSCM (/rpms/why3.git:2eb4c29974d905a85592955393009e18605935a5)
- failed 127098 buildArch (why3-1.8.2-15.fc45.src.rpm, riscv64)

Logs task 127026

—

Details

ID: 127026
Method: build
State: failed
Created: Fri, 30 Oct 2026 01:48:05 UTC
Started: Fri, 30 Oct 2026 01:48:43 UTC
Completed: Fri, 30 Oct 2026 02:10:27 UTC
Total time: 0:22:22
Task time: 0:21:44
Owner: guoguo
Channel: default
Host: sfbuilder03
Arch: noarch
Parent: —
Waiting?: yes
Awaited?: no
Priority: 20
Weight: 0.20

Parameters

Build targetf45

Srcgit+https://src.fedoraproject.org/rpms/why3.git#2eb4c29974d905a85592955393009e18605935a5

Build

why3-1.8.2-15.fc45 failed

Output

No outputs reported