Closed bluss closed 4 months ago
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:
Cross actions are very slow. They give us coverage on 32-bit and big endian, but are rather less important. Also update the checkout action because the old one has deprecation warnings.