Build Monitor
| Package | Fedora 42 | Fedora 43 | Fedora rawhide | |||
|---|---|---|---|---|---|---|
| x86_64 | x86_64 | aarch64 | ppc64le | s390x | x86_64 | |
| flocq |
9625167 succeeded 4.2.1-6 |
- | - | - | - |
9625167 succeeded 4.2.1-6 |
| gappalib-coq |
9625171 succeeded 1.7.1-5 |
- | - | - | - |
9625171 succeeded 1.7.1-5 |
| rocq |
9629923 succeeded 9.1.0-1 |
- | - | - | - |
9629923 succeeded 9.1.0-1 |
| rocq-stdlib |
9625163 succeeded 9.0.0-1 |
- | - | - | - |
9625163 succeeded 9.0.0-1 |
| why3 |
9625173 succeeded 1.8.2-2 |
- | - | - | - |
9625173 succeeded 1.8.2-2 |
| zenon |
9625172 succeeded 0.8.5-36 |
- | - | - | - |
9625172 succeeded 0.8.5-36 |
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.