Consolidate build workflows #1562

richardpringle wants to merge 2 commits intodevelopo1-labs/mina-rust:developfrom

rp/test-everythingo1-labs/mina-rust:rp/test-everythingCopy head branch name to clipboard