Make --mixed build again, and fix its multi-rank parallel I/O - #2110

On December 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target

⚠️ SECURITY WARNING: Bypassing write permission check for platelett due to allowed_non_write_users='*'. This should only be used for workflows with very limited permissions.