Skip to content
Back to pull request #2039

stack: instruct it to not use nix as we provide ghc from devenv #3992

Sign in to view logs

stack: instruct it to not use nix as we provide ghc from devenv

stack: instruct it to not use nix as we provide ghc from devenv #3992

test  /  lean4 (macos-13)

test / lean4 (macos-13)
succeeded Jul 29, 2025 in 4m 59s