warthog9/epel9-missing-pieces

Project ID: 64353

Build 6922099 background

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2024-01-19 16:11 UTC (11 months ago)
Started:
2024-01-19 16:14 UTC (11 months ago)
Finished:
2024-01-19 17:07 UTC (11 months ago)
Build time:
53 minutes
Build timeout:
5 hours
Networking enabled:
False
Commit:
65f7611
Directory:
epel9-missing-pieces
Built by:
https://src.fedoraproject.org/user/releng

Source

Package:
coq
Version:
8.18.0-2
Source Type:
Build from an SCM repository
SCM type:
git
Clone URL:
https://src.fedoraproject.org/rpms/coq
Committish:
65f761181cfb1806b963f1acf3c87d5ec3b3ecf8
Build SRPM with:
rpkg