chore: disable lake.lock (for now)

Author: tydeu

src/lake/Lake/Build/Monad.lean

@@ -94,7 +94,8 @@ where
 /-- Run the given build function in the Workspace's context. -/
 @[inline] def Workspace.runBuild (ws : Workspace) (build : BuildM α) (oldMode := false) : LogIO α := do
   let ctx ← mkBuildContext ws oldMode
-  withLockFile ws.lockFile do build.run ctx
+  --withLockFile ws.lockFile do
+  build.run ctx
 
 /-- Run the given build function in the Lake monad's workspace. -/
 @[inline] def runBuild (build : BuildM α) (oldMode := false) : LakeT LogIO α := do

src/lake/test/lock/test.sh

@@ -1,6 +1,9 @@
 #!/usr/bin/env bash
 set -euxo pipefail
 
+echo "lock file currently disabled; skipping test"
+exit 0
+
 LAKE=${LAKE:-../../build/bin/lake}
 
 if [ "`uname`" = Darwin ]; then