fix: run Lake operations in target process #961

Job	Run time
mcp-modern (ubuntu-latest)	1m 6s
beam-install (macos-latest)	1m 9s
shell-lint (ubuntu-latest)	25s
beam-slow (ubuntu-latest)	1m 6s
mcp-conformance (macos-latest)	1m 8s
beam-release-line-compat (leanprover/lean4:v4.31.0-rc1)	1m 6s
beam-fast (macos-latest)	1m 11s
beam-toolchain-compat (ubuntu-latest, leanprover/lean4:v4.31.0)	1m 7s
lsp (ubuntu-latest)	1m 3s
mcp-modern (macos-latest)	1m 7s
shell-lint (macos-latest)	53s
beam-slow (macos-latest)	1m 10s
lsp (macos-latest)	53s
beam-install (ubuntu-latest)	1m 5s
beam-rocq (ubuntu-latest)	52s
beam-fast (ubuntu-latest)	1m 5s
mcp-conformance (ubuntu-latest)	1m 6s
beam-rocq (macos-latest)	53s
beam-toolchain-compat (ubuntu-latest, leanprover/lean4:v4.32.0)	1m 6s
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.31.0)	53s
beam-toolchain-compat (ubuntu-latest, leanprover/lean4:v4.30.0)	1m 5s
beam-toolchain-compat (ubuntu-latest, leanprover/lean4:v4.28.0)	1m 7s
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.33.0)	53s
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.32.0)	53s
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.34.0-rc1)	53s
beam-toolchain-compat (ubuntu-latest, leanprover/lean4:v4.33.0)	1m 6s
beam-toolchain-compat (ubuntu-latest, leanprover/lean4:v4.29.0)	1m 6s
beam-toolchain-compat (ubuntu-latest, leanprover/lean4:v4.34.0-rc1)	1m 6s
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.30.0)	53s
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.29.0)	53s
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.28.0)	53s
	31m 12s

Navigation Menu