From 9b8f3bc5a83af52ce3528341e71ce257a5972312 Mon Sep 17 00:00:00 2001 From: Roberto Rosmaninho Date: Tue, 3 Oct 2023 10:44:44 -0300 Subject: [PATCH] Delemte temp vars/commands and fix package name --- .github/workflows/test-pr.yml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml index 5709ce690b4..bd672973150 100644 --- a/.github/workflows/test-pr.yml +++ b/.github/workflows/test-pr.yml @@ -217,7 +217,6 @@ jobs: -Dmaven.wagon.http.pool=false -Dmaven.wagon.httpconnectionManager.ttlSeconds=30 run: | - set -euxo pipefail PACKAGE=kframework VERSION=$(cat kframework/package/version) ROOT_URL='https://github.com/runtimeverification/k/releases/download' @@ -227,10 +226,7 @@ jobs: git commit Formula/$PACKAGE.rb -m "Update ${PACKAGE} to ${VERSION}: part 1" ../kframework/package/macos/brew-build-and-update-to-local-bottle ${PACKAGE} ${VERSION} ${ROOT_URL} git reset HEAD^ - TEMP_BOTTLE_NAME=$(find . -name "kframework-${VERSION}.ventura.bottle*.tar.gz") - TEMP2_BOTTLE_NAME=$(find . -name "kframework--${VERSION}.ventura.bottle*.tar.gz") - ls - LOCAL_BOTTLE_NAME=$(basename ${TEMP_BOTTLE_NAME}) + LOCAL_BOTTLE_NAME=$(basename $(find . -name "kframework--${VERSION}.ventura.bottle*.tar.gz")) BOTTLE_NAME=$(echo ${LOCAL_BOTTLE_NAME#./} | sed 's!kframework--!kframework-!') ../kframework/package/macos/brew-update-to-final ${PACKAGE} ${VERSION} ${ROOT_URL} echo "path=${LOCAL_BOTTLE_NAME}" >> ${GITHUB_OUTPUT}