Upload assets to GitHub release using gh CLI tool#245

guidanoli merged 1 commit intomaincartesi/dave:mainfrom

fix/upload-assets-with-gh-clicartesi/dave:fix/upload-assets-with-gh-cliCopy head branch name to clipboard