Build 9401204 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2025-08-12 08:09 UTC (a day ago)
Started:
2025-08-12 08:58 UTC (a day ago)
Finished:
2025-08-12 09:00 UTC (a day ago)
Build time:
a minute
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
151691
Directory:
nodejs-node_modules.change.mpb
Built by:
tjuhasz

Source

Package:
gappalib-coq
Version:
1.7.1-3
Source Type:
Build from DistGit
Committish:
7ef6736b4794b2870b0d533468fa0e74122b5337
Clone_Url:
https://src.fedoraproject.org/rpms/gappalib-coq.git

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz , import.log
Built Packages:
gappalib-coq-debuginfo 1.7.1
gappalib-coq-source 1.7.1
gappalib-coq-debugsource 1.7.1
gappalib-coq 1.7.1
Chroot Name Dist Git Source Build Time Logs State
fedora-43-x86_64 f4329c8 a minute RPM build has not started yet forked
fedora-rawhide-x86_64 f4329c8 a minute builder-live.log.gz , backend.log.gz succeeded