Retry amd64 build of boolector 1.5.118.6b56be4.121013-ok1 in openkylin huanghe RELEASE

The status of amd64 build of boolector 1.5.118.6b56be4.121013-ok1 in openkylin huanghe RELEASE is Failed to build.

Retrying this build will destroy its history and logs.

By default, this build will be retried only after other pending builds; please contact a build daemon administrator if you need special treatment.

Are you sure ?