Remove flake.lock and nix CI

leanprover · Sep 27, 2021 · c2d3d7c · c2d3d7c
1 parent 98c7d7d
commit c2d3d7c
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 207 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