Merge pull request #158 from RaitoBezarius/lean-ci-under-nix

chore(ci): move Lean CI under Nix

1 files changed, 1 insertions, 0 deletions

diff --git a/flake.nix b/flake.nix
index f77bd23b..7faee70a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -171,6 +171,7 @@
         };
         devShells.default = pkgs.mkShell {
           packages = [
+            pkgs.elan
             pkgs.ocamlPackages.ocaml
             pkgs.ocamlPackages.ocamlformat
             pkgs.ocamlPackages.menhir