try to set remote url to use ssh
@@ -174,6 +174,7 @@ jobs:
cp homebrew-k-old/Formula/kframework.rb homebrew-k/Formula/kframework.rb
cd homebrew-k
git commit -m 'Update brew package version' Formula/kframework.rb
+ git remote set-url origin git@github.com:kframework/homebrew-k.git
git push origin master
- name: Delete Release
