Merge pull request #948 from informalsystems/fix-quint-release-notes

Fix release notes for releases workflows

.github/workflows/release.yml

@@ -34,7 +34,7 @@ jobs:
         # See https://github.com/softprops/action-gh-release#-external-release-notes
         uses: softprops/action-gh-release@v1
         with:
-          files: ${{ github.workspace }}/release-notes.txt
+          body_path: ${{ github.workspace }}/release-notes.txt
       - name: Publish
         # See https://docs.github.com/en/actions/publishing-packages/publishing-nodejs-packages#publishing-packages-to-the-npm-registry
         run: npm publish