From 3162795800330629856a52cfb134589d0fc92217 Mon Sep 17 00:00:00 2001 From: Millian Poquet <millian.poquet@inria.fr> Date: Tue, 15 Jan 2019 22:54:50 +0100 Subject: [PATCH] [ci] batsched_dev cache: fix KAPACK default value --- ci/update-batsched_dev-cache.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/update-batsched_dev-cache.bash b/ci/update-batsched_dev-cache.bash index bb7cf14..aaf1efd 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 -- GitLab