Update download-artifact, upload-artifact and checkout to v4#3745

tautschnig merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

thanhnguyen-aws:update-download-artifactthanhnguyen-aws/kani:update-download-artifactCopy head branch name to clipboard