Warning! Fedora moves to a new datacenter, which may result in some instabilities in Copr. The expected outage is expected to happen from 30th June to 4th July. For more information please refer to this ticket.

@fedora-review/fedora-review-2314358-idris2

Project ID: 146580

Package: idris2

General Information

Dist Git Repo:: @fedora-review/fedora-review-2314358-idris2/idris2

Default Build Source

Source Type:: No default source

Build ID	Package Version	Submitted	Build Time	Status
8064021	0.7.0-1	9 months ago	19 minutes	succeeded
8545411	0.7.0-2	5 months ago	19 minutes	succeeded
9229978	0.7.0-3	6 days ago	8 minutes	failed
9230048	0.7.0-4	6 days ago	9 minutes	failed
9230089	0.7.0-5	6 days ago	8 minutes	failed
9230198	0.7.0-6	6 days ago	16 minutes	succeeded
9231063	0.7.0-7	6 days ago	20 minutes	succeeded

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/g/fedora-review/fedora-review-2314358-idris2/package/idris2/"><img src="https://copr.fedorainfracloud.org/coprs/g/fedora-review/fedora-review-2314358-idris2/package/idris2/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/g/fedora-review/fedora-review-2314358-idris2/package/idris2/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/g/fedora-review/fedora-review-2314358-idris2/package/idris2/)