lean4
lean4 copied to clipboard
chore: CI: enable emulated tests on Linux aarch64
Just putting this up as a PR here because CI is disabled on branches.