I think, ideally we'd use merge queues to run the cross asynchronously but before merging into the main branch. The PR workflow it self could then be simplify down even further, e.g. just tests on stable and Clippy.

sounds good, so like bors or whatever the new version would be

sounds good, so like bors or whatever the new version would be

Yes, but integrated into GitHub. You'll need to enable it in the project settings and then:

• We don't run CI on the main branch at all any more because all commits are tested before being put there.
• Which tests are run is not differentiated by branch name but by event, either pull requests or merge queues.
• PR run should small and fast for quick feedback on proposed changes.
• Pre-merge checks should be complete so that the main branch is always is a known good state.