Bump actions/download-artifact from 5 to 6#1366

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

dependabot/github_actions/actions/download-artifact-6diffblue/hw-cbmc:dependabot/github_actions/actions/download-artifact-6Copy head branch name to clipboard