Retry rv64g build of coq-hammer 1.3.2+8.18-ok1 in openkylin nile RELEASE

The status of rv64g build of coq-hammer 1.3.2+8.18-ok1 in openkylin nile RELEASE is Chroot problem.

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 ?