[ci] batsched_dev cache: fix KAPACK default value

31627958 · Millian Poquet · 9b3c4ccf · 31627958
Commit 31627958 authored 6 years ago by Millian Poquet
--- 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