Closed d-xo closed 1 year ago
With this change, the first run of nix develop should offer to configure the k-framework binary cache, which should significantly speed up the time it takes to bring up an environment.
nix develop
k-framework
With this change, the first run of
nix developshould offer to configure thek-frameworkbinary cache, which should significantly speed up the time it takes to bring up an environment.