Yea I would always require a full build before merge. But there is that initial CI build, just to see if something breaks on an unexpected platform, that would be accelerated.
It should be optional still, so for small PRs that only need one CI run, we don’t have to run CI twice.