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

BEGIN;

-- XXX Add verifications here.

ROLLBACK;
