-- Verify guix-build-coordinator:fix_allocated_builds_attempt_2 on pg

BEGIN;

-- XXX Add verifications here.

ROLLBACK;