tree 5445e31cd6fbaa0db1d0aab8023dd987ea823950
parent dc3575fd9283f8e3726d75c6320aa26a8d96abee
author Davide Pesavento <davidepesa@gmail.com> 1659302102 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1660178452 -0400

build+ci: support macOS on arm64

Refs: #5135
Change-Id: Ifac57bf18dea805dc9eab06039806858bb3b6f20