@copr/PyPI

Project ID: 52707

Build 3788382 background

General Information

Status:: succeeded - Successfully built.
Submitted:: 2022-03-20 16:29 UTC (2 years ago)
Started:: 2022-03-21 23:00 UTC (2 years ago)
Finished:: 2022-03-21 23:02 UTC (2 years ago)
Build time:: 2 minutes
Build timeout:: 5 hours
Networking enabled:: False
Directory:: PyPI
Built by:: ksurma

Source

Package:: python-agda-kernel
Version:: 0.64-1.fc35
Source Type:: Custom build method

Results

Source state:: succeeded
Source build logs:: builder-live.log.gz , backend.log.gz
Built Packages:: python3-agda-kernel 0.64

Chroot Name	Dist Git Source	Build Time	Logs	State
epel-9-x86_64	a90b3f4	2 minutes	builder-live.log.gz , backend.log.gz	succeeded