fix(ci): fix path script name

truelecter · Sep 5, 2023 · a67864d · a67864d
1 parent e4fdb23
commit a67864d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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")