At the moment a fresh build takes around 10 minutes in the GitHub Action runners. It would be nice to investigate and optimize this.