unsupported architecture arm64

Stream: lean4

[Julian Berman]

I haven't been reading the threads about changes to Cache, but I now (as of today I think, with the latest bump) get uncaught exception: unsupported architecture arm64 (on an M1) when trying to run lake exe cache get. Is that expected?

[Johan Commelin]

Probably it is related to: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/lake.20exe.20cache.20get.20fails.20on.20gitpod

[Julian Berman]

Ah thanks, which it looks like https://github.com/leanprover-community/mathlib4/pull/5853 is reverting -- will try again when bors makes the magic happen.

[Johan Commelin]

There is a bors batch running that is reverting the changes to cache. Hopefully it lands soon