Use nix for CI

Open Munksgaard opened this issue 2 years ago • 3 comments

Feb 07 '23 12:02 Munksgaard

How do you suggest nix should solve the issue? Isn't it identical to pinning ubuntu to 20.04, for instance?

Apr 13 '23 22:04 melsman

The difference is that ten years from now you don't want to use Ubuntu 20.04, but Nix will still be around.

But really, Nix is overkill here. Why not just use mlkit for CI? I hear it's a pretty decent SML compiler.

Apr 14 '23 05:04 athas

Oh look, there's already install-mlkit.

Apr 14 '23 05:04 athas