Check for minimum mono version 4.0.3 on non-Windows platforms

project-everest / everest

https://project-everest.github.io/

Apache License 2.0

193 stars 29 forks source link

Check for minimum mono version 4.0.3 on non-Windows platforms #18

Closed msprotz closed 9 months ago

tahina-pro commented 9 months ago

We are now using .NET SDK 6.0, needed by the F# build of the F* standard library. Since 0604e7edcd48b21885cf109b090463e03caef54b, ./everest check checks for that version, and installs it on Windows.