CI: separate build workflows per OS for individual badges#1436

dannywillems merged 1 commit intodevelopo1-labs/mina-rust:developfrom

dw/badge-workflow-buildo1-labs/mina-rust:dw/badge-workflow-buildCopy head branch name to clipboard