cstratak/rpath

Project ID: 39635

Build 1980282

General Information

Status:
succeeded - Successfully built.
Submitted:
2021-02-17 17:33 UTC (2 months ago)
Started:
2021-02-19 11:14 UTC (2 months ago)
Finished:
2021-02-19 11:53 UTC (2 months ago)
Build time:
39 minutes
Networking enabled:
False
Directory:
rpath
Built by:
cstratak

Source

Package:
idris
Version:
1.3.3-3.fc33
Source Type:
Build from an SCM repository
SCM type:
git
Clone URL:
https://src.fedoraproject.org/rpms/idris.git
Committish:
rawhide
Build SRPM with:
rpkg

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
ghc-idris 1.3.3
ghc-idris-devel 1.3.3
ghc-idris-doc 1.3.3
ghc-idris-prof 1.3.3
idris 1.3.3
idris-common 1.3.3
idris-docs 1.3.3
idris-manual 1.3.3
idris-static 1.3.3
Chroot Name Dist Git Source Build Time Logs State
fedora-rawhide-x86_64 f7015fd 39 minutes backend.log.gz , builder-live.log.gz succeeded