buildSRPMFromSCM (/rpms/Agda.git:38873f26897882b48ec4b65f31e6a0385e526483)

closed

Task 109391 owned by guoguo created Thu, 29 Oct 2026 01:48:49 UTC ran 0:21:15

Result

srpm = tasks/9391/109391/Agda-2.8.0-60.fc45.src.rpm
logs = tasks/9391/109391/state.log, tasks/9391/109391/root.log, tasks/9391/109391/hw_info.log, tasks/9391/109391/build.log, tasks/9391/109391/dnf5.log, tasks/9391/109391/mock_output.log, tasks/9391/109391/mock_config.log
brootid = 46672
source = url=git+https://src.fedoraproject.org/rpms/Agda.git#38873f26897882b48ec4b65f31e6a0385e526483, source=git+https://src.fedoraproject.org/rpms/Agda.git#38873f26897882b48ec4b65f31e6a0385e526483

Descendants

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

This task has no descendants.

Logs task 109391

—

Details

ID: 109391
Method: buildSRPMFromSCM
State: closed
Created: Thu, 29 Oct 2026 01:48:49 UTC
Started: Thu, 29 Oct 2026 01:49:53 UTC
Completed: Thu, 29 Oct 2026 02:11:09 UTC
Total time: 0:22:19
Task time: 0:21:15
Owner: guoguo
Channel: srpm
Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/Agda.git:38873f26897882b48ec4b65f31e6a0385e526483)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Parameters

Build tagf45-build

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

Options repo_id = 857
scratch = None

Output

Buildroot

/var/lib/mock/f45-build-46672-857