Build charon-linux-aarch64 artifacts on release#1119

Nadrieril merged 1 commit into

AeneasVerif:mainAeneasVerif/charon:mainfrom

erickt:mainerickt/charon:mainCopy head branch name to clipboard