AArch64 GitHub CI

Rename execution contexts + improve their docs #798

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
aarch64-github-cross-compile	8m 46s
aarch64-github-build	30m 6s
	38m 52s