brozek/maude

Project ID: 127848

Build 7395686

General Information

Status:: succeeded - Successfully built.
Submitted:: 2024-05-01 02:34 UTC (8 months ago)
Started:: 2024-05-01 02:34 UTC (8 months ago)
Finished:: 2024-05-01 02:40 UTC (8 months ago)
Build time:: 5 minutes
Build timeout:: 5 hours
Networking enabled:: False
Directory:: maude
Built by:: brozek

Source

Package:: maude
Version:: 3.4-1
Source Type:: Build from an SCM repository
SCM type:: git
Clone URL:: https://github.com/Brandon-Rozek/maude-rpm.git
Build SRPM with:: rpkg

Results

Source state:: succeeded
Source build logs:: builder-live.log.gz , backend.log.gz
Built Packages:: maude 3.4; maude-debuginfo 3.4; maude-debugsource 3.4

Chroot Name	Dist Git Source	Build Time	Logs	State
fedora-40-x86_64	c11cbaa	5 minutes	builder-live.log.gz , backend.log.gz	succeeded