⬆️ Bump actions/checkout from 3 to 4#260

dependabot[bot] wants to merge 1 commit intomainveit/jupyter-tutorial:mainfrom

dependabot/github_actions/actions/checkout-4veit/jupyter-tutorial:dependabot/github_actions/actions/checkout-4Copy head branch name to clipboard