Remove flake.lock and nix CI

leanprover · Sep 26, 2021 · c27104a · c27104a
1 parent 98c7d7d
commit c27104a
Show file tree

Hide file tree

Showing 3 changed files with 26 additions and 35 deletions.
diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,4 @@
 /build
 result*
+# Do not lock flake to avoid having to maintain it
+flake.lock
diff --git a/flake.lock b/flake.lock