Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc9122-minimal`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc9122-minimal`

Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc9122-minimal`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc9122-minimal`

Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc9122-minimal`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc9122-minimal`