diff --git a/ci/update-batsched_dev-cache.bash b/ci/update-batsched_dev-cache.bash index aaf1efdd354793d8ba9fcda51fee214eb993ef07..ff0f9b642f276c17144fc8512532d2c2f100ce1a 100755 --- a/ci/update-batsched_dev-cache.bash +++ b/ci/update-batsched_dev-cache.bash @@ -3,4 +3,4 @@ set -eu # Build up-to-date batsched_dev package, push it on binary cache -nix-build ${KAPACK:-https://github.com/oar-team/kapack/archive/master.tar.gz} -A batsched_dev | cachix push batsim +nix-build https://github.com/oar-team/kapack/archive/master.tar.gz -A batsched_dev | cachix push batsim