diff --git a/ci/update-batsched_dev-cache.bash b/ci/update-batsched_dev-cache.bash index bb7cf142ed38f3ab77c5c8df7704d0db66dd07a2..aaf1efdd354793d8ba9fcda51fee214eb993ef07 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:-~/kapack} -A batsched_dev | cachix push batsim +nix-build ${KAPACK:-https://github.com/oar-team/kapack/archive/master.tar.gz} -A batsched_dev | cachix push batsim