Thu, 05 Nov 2026 17:29:41 UTC Log in
standard buildroot riscv64 created Mon, 12 Oct 2026 19:07:01 UTC

Buildroot

Host
buildvm_riscv64_10.koji.hox.org.cn
Arch
riscv64
ID
3631
Task
buildSRPMFromSCM (/rpms/cbmc.git:33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5) failed
State
expired
Created
Mon, 12 Oct 2026 19:07:01 UTC
Retired
Mon, 12 Oct 2026 19:07:04 UTC

Repo

Repo ID
326
Repo tag
f45-build
Repo state
deleted
Repo created
Mon, 12 Oct 2026 18:56:35 UTC

Contents