From 8798571831377b11f53ded79984fcdf7a352b3b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 19 Oct 2023 02:21:55 +0200 Subject: [PATCH] fix path --- .ci/setup_build_repo_branch.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/setup_build_repo_branch.sh b/.ci/setup_build_repo_branch.sh index 0801d95..6ffe77d 100755 --- a/.ci/setup_build_repo_branch.sh +++ b/.ci/setup_build_repo_branch.sh @@ -1,7 +1,7 @@ # ! /bin/sh set -e -cd build/LatexPackagesBuild +cd build/packages REMOTE_BRANCH=$(git branch -a | sed -n '/remotes\/origin\/.*-build/p' | sed 's/remotes\/origin\///g' | sed 's/-build//g' | sed 's/[[:space:]]//g' | sed -n "/^${REF_NAME}$/p")