codeblock/coq-epel

Project ID: 7805

Build Monitor

Package Epel 7
x86_64
coq 592308
failed
8.6.1-1
csdp 323398
succeeded
6.1.1-11.el7
emacs-common-proofgeneral 323400
succeeded
4.2-5.el7
emacs-mmm 323395
succeeded
0.4.8-10.el7
hevea 323399
succeeded
2.28-2.el7
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.