coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Check that nix actions are in sync with the toolbox & config

Open CohenCyril opened this issue 4 years ago • 0 comments

Actions should embed and check the hashes of the toolbox, nixpkgs revision and config.nix in use before even running, so as not to waste computation time and user time running actions that are out of sync.

CohenCyril avatar Nov 18 '21 10:11 CohenCyril