diff --git a/.ci/list-paths.sh b/.ci/list-paths.sh old mode 100644 new mode 100755 diff --git a/.ci/push-paths.sh b/.ci/push-paths.sh old mode 100644 new mode 100755