Bump softprops/action-gh-release from 2 to 3#213

feliperodri merged 1 commit into

mastermodel-checking/cbmc-viewer:masterfrom

dependabot/github_actions/softprops/action-gh-release-3model-checking/cbmc-viewer:dependabot/github_actions/softprops/action-gh-release-3Copy head branch name to clipboard