search

coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
MIT License
32 stars 10 forks source link

Replace check for existing binaries in cache #6

Open CohenCyril opened 3 years ago

CohenCyril commented 3 years ago

This is dirty!

https://github.com/coq-community/coq-nix-toolbox/blob/5e713b1b2be756cd5d9b6df6615390e772ff1dfb/.nix/shellHook.sh#L204-L205

Zimmi48 commented 3 years ago

The issue is not very clear but isn't this fixed now?

CohenCyril commented 3 years ago

It's fix-ish,... it should be renamed... EDIT: done