Project Builds
| Build ID | Package Name | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|---|
| 9625167 | flocq | 4.2.1-6 | a day ago | a minute | succeeded |
| 9625163 | rocq-stdlib | 9.0.0-1 | a day ago | 3 minutes | succeeded |
| 9625172 | zenon | 0.8.5-36 | a day ago | 55 seconds | succeeded |
| 9625173 | why3 | 1.8.2-2 | a day ago | 5 minutes | succeeded |
| 9625171 | gappalib-coq | 1.7.1-5 | a day ago | a minute | succeeded |
| 9629923 | rocq | 9.1.0-1 | a day ago | 15 minutes | succeeded |
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.