Fix tag name of release upload target

diffblue · Sep 20, 2024 · cca15d4 · cca15d4
1 parent 08fae9f
commit cca15d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/add-formula.yml b/.github/workflows/add-formula.yml
@@ -61,7 +61,7 @@ jobs:
  if: ${{ env.next_step == 'upload_and_create_pr' }}
  uses: softprops/action-gh-release@v2
  with:
- name: bag-of-goodies
+ tag_name: bag-of-goodies
  files: cbmc@*.tar.gz
 
  - name: Create Pull Request