diff --git a/tools/winnie/build_pgrouting.sh b/ci/winnie/build_pgrouting.sh
similarity index 100%
rename from tools/winnie/build_pgrouting.sh
rename to ci/winnie/build_pgrouting.sh
diff --git a/tools/winnie/package_pgrouting.sh b/ci/winnie/package_pgrouting.sh
similarity index 100%
rename from tools/winnie/package_pgrouting.sh
rename to ci/winnie/package_pgrouting.sh