COLLABORATING.md
main are preferred.main must never be broken or show warnings
just test check-size before pushing or just check-size && git push.main breaks on CI which can happen nonetheless…
cargo smart-release for publishing to crates.io as it will handle dependencies properly.The workflow can be changed after public discussion - to get started, open a PR.
Please see the development guide for more detailed information on how code and cargo manifests are structured.