This should be a separate workflow running on PRs that blocks merge.
It's needed because once a PR in cairo-rs is merged the branch is deleted and the ref may become stale and break main.
It needs to be separate so temporarily pointing to a dev branch is allowed and doesn't give false negatives when it comes to just tests.