petersen/idris2

Project ID: 38432

Build Monitor

Package Epel 8 Fedora 35 Fedora 36 Fedora 37 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
2682697
succeeded
0.4.0-3.fc35
2682897
succeeded
0.4.0-3.fc35
2682239
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
succeeded
0.4.0-3.fc35
2682808
succeeded
0.4.0-3.fc35
2682238
succeeded
0.4.0-3.fc35
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.