Build Monitor
| Package | Epel 8 | Fedora 37 | Fedora 38 | Fedora 39 | Fedora rawhide | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| aarch64 | ppc64le | x86_64 | aarch64 | ppc64le | x86_64 | aarch64 | ppc64le | x86_64 | aarch64 | ppc64le | x86_64 | aarch64 | ppc64le | x86_64 | |
| idris2 |
2683763 succeeded 0.4.0-3.fc35 |
2683764 failed 0.4.0-3.fc35 |
2682659 succeeded 0.4.0-3.fc35 |
2682660 forked 0.4.0-3.fc35 |
2682808 forked 0.4.0-3.fc35 |
2682238 forked 0.4.0-3.fc35 |
2682660 forked 0.4.0-3.fc35 |
2682808 forked 0.4.0-3.fc35 |
2682238 forked 0.4.0-3.fc35 |
2682660 forked 0.4.0-3.fc35 |
2682808 forked 0.4.0-3.fc35 |
6319979 failed 0.6.0-0.3 |
2682660 succeeded 0.4.0-3.fc35 |
2682808 succeeded 0.4.0-3.fc35 |
6319950 succeeded 0.6.0-0.3 |
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 has already been built previously.
failed - Build failed. See logs for more details.
canceled - The build has been cancelled manually.
waiting - Task is waiting for something else to finish.