|Name||Last Build Version||Last Build Submitted||Last Build Status||Automatic Build||Actions|
|idris2||0.4.0-3.fc35||1 year, 8 months ago||failed||Disabled||-|
Possible build statesimporting - 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.