supported OS/architectures

Stream: lean4 dev

[Yuri]

Forgive me if I missed this somewhere obvious, but is there an official list of supported OS/architectures?

In ci.yml, I see:

• Linux x86_64
• Linux aarch64
• macOS (x86_64, macOS-13)
• macOS aarch64 (macOS-14)
• Windows (x86_64, Windows-2022)

Is this basically it?

FWIW, Even if it is a very small list, it would be a good idea to make that explicit somewhere as a tier 1 or something like that.

[Henrik Böving]

There used to be a list at https://lean-lang.org/lean4/doc/setup.html#supported-platforms but the link seems dead now

[Yuri]

_