petersen/idris

Project ID: 1634

Project Builds

Build ID Package Name Package Version Submitted Build Time Status
155567 idris 0.10-1.fc23 8 years ago 31 minutes failed
770399 idris 1.3.0-1 6 years ago 20 minutes succeeded
771370 idris 1.3.0-1 6 years ago 27 minutes succeeded
183943 idris 0.11.1-1.fc23 8 years ago 17 minutes succeeded
31382 idris 0.9.14.3 10 years ago 4 minutes failed
770407 idris 1.3.0-1 6 years ago 59 minutes failed
771390 idris 1.3.0-1 6 years ago 2 hours succeeded
79245 idris 0.9.16-1.fc21 9 years ago 37 minutes failed
456342 idris 0.12.3-1.fc24 8 years ago 22 minutes succeeded
493008 idris 0.99-1 7 years ago 19 minutes failed
525406 idris 0.99.1-1 7 years ago 4 hours canceled
821943 idris 1.3.1-1 6 years ago 31 minutes succeeded
821910 idris 1.3.1-1 6 years ago 23 minutes succeeded
822376 idris 1.3.1-1 6 years ago 2 days succeeded
31395 idris 0.9.14.3 10 years ago 10 minutes failed
115231 idris 0.9.19-1.fc22 9 years ago 7 minutes failed
115233 idris 0.9.19-1.fc22 9 years ago 19 minutes succeeded
123782 idris 0.9.19.1-1.fc22 9 years ago 16 minutes succeeded
123785 idris 0.9.19.1-1.fc22 9 years ago 30 minutes succeeded
507521 idris 0.99-3 7 years ago a minute failed
31447 idris 0.9.14.3 10 years ago 8 minutes failed
31498 idris 0.9.14.3 10 years ago 11 minutes failed
31500 idris 0.9.14.3 10 years ago 13 minutes failed
31377 idris 0.9.14.3 10 years ago 4 minutes failed
507522 idris 0.99-3 7 years ago 7 years canceled
71800 idris 0.9.16-1.fc21 9 years ago 3 minutes failed
78860 idris 0.9.16-1.fc21 9 years ago 6 minutes failed
68448 idris - 9 years ago 2 minutes failed
684968 idris 1.1.1-1 7 years ago 26 minutes failed
684938 idris 1.1.1-1 7 years ago 26 minutes failed
684941 idris 1.1.1-1 7 years ago 34 minutes succeeded
68449 idris - 9 years ago 11 minutes failed
61728 idris 0.9.15.1 10 years ago 12 minutes succeeded
507636 idris 0.99-3 7 years ago 20 minutes succeeded
196180 idris 0.11.1-1.fc23 8 years ago an hour succeeded
747689 idris 1.2.0-1 6 years ago 6 hours succeeded
79223 idris 0.9.16-1.fc21 9 years ago 15 minutes failed
484508 idris 0.99-1 8 years ago 17 minutes failed
71117 idris 0.9.16-1.fc21 9 years ago 3 minutes failed
71146 idris 0.9.16-1.fc21 9 years ago 14 minutes failed
71809 idris 0.9.16-1.fc21 9 years ago 3 minutes failed
71802 idris 0.9.16-1.fc21 9 years ago 2 minutes failed
79233 idris 0.9.16-1.fc21 9 years ago 12 minutes failed
115226 idris 0.9.19-1.fc22 9 years ago 6 minutes failed
115232 idris 0.9.19-1.fc22 9 years ago 14 minutes succeeded
115402 idris 0.9.19-2.fc22 9 years ago 19 minutes succeeded
115403 idris 0.9.19-2.fc22 9 years ago 15 minutes succeeded
31440 idris 0.9.14.3 10 years ago 9 minutes failed
31505 idris 0.9.14.3 10 years ago 18 minutes failed
31501 idris 0.9.14.3 10 years ago 14 minutes succeeded
31503 idris 0.9.14.3 10 years ago 16 minutes succeeded
56020 idris 0.9.15.1 10 years ago 11 minutes succeeded
56021 idris 0.9.15.1 10 years ago 10 minutes failed
56029 idris 0.9.15.1 10 years ago 3 minutes failed
56018 idris 0.9.15.1 10 years ago 11 minutes succeeded
61702 idris 0.9.15.1 10 years ago 6 minutes failed
61726 idris 0.9.15.1 10 years ago 3 minutes failed
155577 idris 0.10-1.fc23 8 years ago 14 minutes succeeded
485959 idris 0.99-1 8 years ago 30 minutes failed
138678 idris 0.9.20-1.fc22 9 years ago 4 hours succeeded
507850 idris 0.99-3 7 years ago 20 minutes succeeded
140353 idris 0.9.20.1-1.fc23 9 years ago 2 hours succeeded
152204 idris 0.9.20.2-1.fc23 8 years ago 35 minutes succeeded
183836 idris 0.11.1-1.fc23 8 years ago 37 minutes failed
163286 idris 0.10.1-1.fc23 8 years ago 31 minutes succeeded
164471 idris 0.10.2-1.fc23 8 years ago 34 minutes succeeded
428492 idris 0.12.1-1.fc24 8 years ago 20 minutes succeeded
171716 idris 0.11-1.fc23 8 years ago 36 minutes succeeded
428468 idris 0.12.1-1.fc24 8 years ago 18 minutes succeeded
317968 idris 0.11.2-1.fc23 8 years ago 37 minutes succeeded
456309 idris 0.12.3-1.fc24 8 years ago 15 minutes failed
362945 idris 0.12-1.fc24 8 years ago 24 minutes succeeded
439690 idris 0.12.2-1.fc24 8 years ago 40 minutes succeeded
439686 idris 0.12.2-1.fc24 8 years ago 18 minutes succeeded
456347 idris 0.12.3-1.fc24 8 years ago 18 minutes failed
456332 idris 0.12.3-1.fc24 8 years ago 19 minutes succeeded
719598 idris 1.2.0-1 6 years ago 22 minutes succeeded
684903 idris 1.1.1-1 7 years ago 26 minutes succeeded
460887 idris 0.12.3-1.fc24 8 years ago 19 minutes succeeded
460895 idris 0.12.3-1.fc24 8 years ago 18 minutes succeeded
485716 idris 0.99-1 8 years ago 19 minutes failed
485742 idris 0.99-1 8 years ago 17 minutes succeeded
485977 idris 0.99-1 8 years ago 7 hours failed
486209 idris 0.99-1 8 years ago 20 minutes failed
719283 idris 1.2.0-1 6 years ago 28 minutes failed
493011 idris 0.99-2 7 years ago 20 minutes succeeded
525388 idris 0.99.1-1 7 years ago 31 minutes failed
78910 idris 0.9.16-1.fc21 9 years ago 5 minutes failed
533384 idris 0.99.2-1 7 years ago 21 minutes failed
533385 idris 0.99.2-1 7 years ago 22 minutes failed
533387 idris 0.99.2-1 7 years ago 16 minutes succeeded
538801 idris 1.0-1 7 years ago 17 minutes succeeded
538848 idris 1.0-1 7 years ago 21 minutes succeeded
684879 idris 1.1.1-1 7 years ago 2 minutes failed
684869 idris 1.1.1-1 7 years ago 4 minutes failed
688227 idris 1.1.1-1 7 years ago a minute failed
688504 idris 1.1.1-1 7 years ago 9 minutes failed
688506 idris 1.1.1-1 7 years ago 8 minutes failed
719588 idris 1.2.0-1 6 years ago 34 minutes failed
Possible build states importing - Package sources are being imported into Copr DistGit.
pending - Build is waiting in queue for a backend worker.
starting - Backend worker is trying to acquire a builder machine.
running - Build in progress.
succeeded - Successfully built.
forked - Build has been forked from another build.
skipped - This package was skipped, see the reason for each chroot separately.
failed - Build failed. See logs for more details.
canceled - The build has been cancelled manually.
waiting - Task is waiting for something else to finish.