Skip to content

Use nix profile add on Nix 2.30 and newer - #153

Open
mimifuwacc wants to merge 2 commits into
runtimeverification:masterfrom
mimifuwacc:fix/nix-profile-install-deprecation
Open

Use nix profile add on Nix 2.30 and newer#153
mimifuwacc wants to merge 2 commits into
runtimeverification:masterfrom
mimifuwacc:fix/nix-profile-install-deprecation

Use version-compatible profile command

e382ba3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs