Skip to content

Update CI: GHC 9.10, update and cleanup shell.nix #928

Update CI: GHC 9.10, update and cleanup shell.nix

Update CI: GHC 9.10, update and cleanup shell.nix #928