buildSRPMFromSCM (/rpms/frama-c.git:e0c0643886a0f03959c5ca5cad7b7a05cb9b7a86)

closed

Task 120802 owned by guoguo created Thu, 29 Oct 2026 17:30:07 UTC ran 0:05:11

Result

srpm = tasks/802/120802/frama-c-33.0-3.fc45.src.rpm
logs = tasks/802/120802/state.log, tasks/802/120802/root.log, tasks/802/120802/build.log, tasks/802/120802/hw_info.log, tasks/802/120802/dnf5.log, tasks/802/120802/mock_output.log, tasks/802/120802/mock_config.log
brootid = 52128
source = url=git+https://src.fedoraproject.org/rpms/frama-c.git#e0c0643886a0f03959c5ca5cad7b7a05cb9b7a86, source=git+https://src.fedoraproject.org/rpms/frama-c.git#e0c0643886a0f03959c5ca5cad7b7a05cb9b7a86

Descendants

Parent: build (f45, /rpms/frama-c.git:e0c0643886a0f03959c5ca5cad7b7a05cb9b7a86)

This task has no descendants.

Logs task 120802

—

Details

ID: 120802
Method: buildSRPMFromSCM
State: closed
Created: Thu, 29 Oct 2026 17:30:07 UTC
Started: Thu, 29 Oct 2026 17:33:08 UTC
Completed: Thu, 29 Oct 2026 17:38:19 UTC
Total time: 0:08:11
Task time: 0:05:11
Owner: guoguo
Channel: srpm
Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/frama-c.git:e0c0643886a0f03959c5ca5cad7b7a05cb9b7a86)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Parameters

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/frama-c.git#e0c0643886a0f03959c5ca5cad7b7a05cb9b7a86

Options repo_id = 907
scratch = None

Output

Buildroot

/var/lib/mock/f45-build-52128-907