mina
mina copied to clipboard
Port CI improvements from dev to comp
Port CI fixes from dev:
- rosetta fix
- berkeley codename removal
- shellcheck for build scripts