From a67864dca53a27c35b14666dc4b995da9a2984e5 Mon Sep 17 00:00:00 2001 From: Andrii Panasiuk Date: Tue, 5 Sep 2023 14:35:31 +0300 Subject: [PATCH] fix(ci): fix path script name --- .ci/push-paths.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/push-paths.sh b/.ci/push-paths.sh index 6ba53cb8..3511b68e 100755 --- a/.ci/push-paths.sh +++ b/.ci/push-paths.sh @@ -5,7 +5,7 @@ set -euo pipefail cachix=$1 cachixArgs=${2:--j8} cache=$3 pathsToPush=$4 pushFilter=$5 if [[ $pathsToPush == "" ]]; then - pathsToPush=$(comm -13 <(sort /tmp/store-path-pre-build) <("$(dirname "$0")"/list-nix-store.sh)) + pathsToPush=$(comm -13 <(sort /tmp/store-path-pre-build) <("$(dirname "$0")"/list-paths.sh)) if [[ $pushFilter != "" ]]; then pathsToPush=$(echo "$pathsToPush" | grep -vEe "$pushFilter")