Bump actions/checkout from 3 to 5#895

dependabot[bot] wants to merge 1 commit intomainmlr-org/mlr3book:mainfrom

dependabot/github_actions/actions/checkout-5mlr-org/mlr3book:dependabot/github_actions/actions/checkout-5Copy head branch name to clipboard