From 4051bb34e82afdf6ecf78838f8024b3f305e2eec Mon Sep 17 00:00:00 2001 From: Roberto Rosmaninho Date: Tue, 3 Oct 2023 12:42:54 -0300 Subject: [PATCH] Builing MacOS Package on MacOS 13 (#3686) Co-authored-by: Freeman <105403280+F-WRunTime@users.noreply.github.com> --- .github/workflows/release.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index da9fc261086..14ce0266563 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -220,7 +220,7 @@ jobs: macos-build: name: 'Build MacOS Package' - runs-on: macos-11 + runs-on: macos-13 timeout-minutes: 120 environment: production needs: [set-release-id, source-tarball] @@ -273,7 +273,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^ - LOCAL_BOTTLE_NAME=$(basename $(find . -name "kframework--${VERSION}.big_sur.bottle*.tar.gz")) + 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}