Replace deprecated upload-release-asset with action-gh-release#8740

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:replace-upload-release-assettautschnig/cbmc:replace-upload-release-assetCopy head branch name to clipboard