Bump actions/checkout from 4 to 6#3070

dweindl merged 1 commit intomainAMICI-dev/AMICI:mainfrom

dependabot/github_actions/main/actions/checkout-6AMICI-dev/AMICI:dependabot/github_actions/main/actions/checkout-6Copy head branch name to clipboard