Bump actions/upload-artifact from 4 to 5#8721

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

dependabot/github_actions/actions/upload-artifact-5diffblue/cbmc:dependabot/github_actions/actions/upload-artifact-5Copy head branch name to clipboard