Skip to content

Commit

Permalink
Update release.yml (#3778)
Browse files Browse the repository at this point in the history
Fix Homebrew migration release .183 failing due to access issue to Org
RV repository outside workflow trigger permissions
  • Loading branch information
F-WRunTime authored Oct 31, 2023
1 parent 5c2cbe9 commit 5e83a56
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -288,6 +288,7 @@ jobs:
uses: actions/checkout@v3
with:
path: k-homebrew-checkout
token: ${{ secrets.JENKINS_GITHUB_PAT }}

- name: 'Upload Package to Release'
env:
Expand All @@ -299,7 +300,7 @@ jobs:
version=$(cat k-homebrew-checkout/package/version)
mv homebrew-k-old/${BOTTLE_NAME} homebrew-k-old/${REMOTE_BOTTLE_NAME}
gh release upload --repo runtimeverification/k --clobber v${version} homebrew-k-old/${REMOTE_BOTTLE_NAME}
# Deprecate After Homebrew tap migration
- name: 'Add ssh key'
uses: shimataro/ssh-key-action@v2
with:
Expand Down

0 comments on commit 5e83a56

Please sign in to comment.