lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

chore: CI: enable emulated tests on Linux aarch64

Open gebner opened this issue 2 years ago • 1 comments

gebner avatar Dec 02 '22 23:12 gebner

Just putting this up as a PR here because CI is disabled on branches.

gebner avatar Dec 02 '22 23:12 gebner