Build Monitor
| Package | Epel 9 | Fedora 40 | Fedora 41 | Fedora rawhide | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| aarch64 | ppc64le | x86_64 | aarch64 | ppc64le | x86_64 | aarch64 | ppc64le | x86_64 | aarch64 | ppc64le | x86_64 | |
| lean4 |
8487841 succeeded 4.15.0-1 |
8487841 succeeded 4.15.0-1 |
8487649 succeeded 4.15.0-1 |
8487841 succeeded 4.15.0-1 |
8487841 succeeded 4.15.0-1 |
8484356 succeeded 4.15.0-1 |
8487841 succeeded 4.15.0-1 |
8487841 succeeded 4.15.0-1 |
8484254 succeeded 4.15.0-1 |
8487841 succeeded 4.15.0-1 |
8487841 succeeded 4.15.0-1 |
8484174 succeeded 4.15.0-1 |
| lean4-rc |
7489205 succeeded 4.8.0~rc2-1 |
7489205 succeeded 4.8.0~rc2-1 |
7489130 succeeded 4.8.0~rc2-1 |
7489205 succeeded 4.8.0~rc2-1 |
7489205 succeeded 4.8.0~rc2-1 |
7489078 succeeded 4.8.0~rc2-1 |
7489205 forked 4.8.0~rc2-1 |
7489205 forked 4.8.0~rc2-1 |
7489046 forked 4.8.0~rc2-1 |
7489205 succeeded 4.8.0~rc2-1 |
7489205 succeeded 4.8.0~rc2-1 |
7489046 succeeded 4.8.0~rc2-1 |
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.