Bump actions/upload-artifact from 4.6.0 to 7.0.1#3

dependabot[bot] wants to merge 1 commit into

masterfraware/leanverifier:masterfrom

dependabot/github_actions/actions/upload-artifact-7.0.1fraware/leanverifier:dependabot/github_actions/actions/upload-artifact-7.0.1Copy head branch name to clipboard