Commit 2025-03-13 02:57 b4514b84
View on Github →chore: update the neovim link in the Dockerfile (#21653) neovim now publishes separate x86_64 and arm64 builds on linux. https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/The.20docker.20hub.20images.20are.20not.20updated/near/498732641 This change assumes we intend to build multi-arch images ourselves, if not we could just hardcode x86-64 (or whichever).