dependabot-github-actions(deps): bump actions/checkout from 3 to 4#3

dependabot[bot] wants to merge 1 commit into

maingeoid-org/deep.gl:mainfrom

dependabot/github_actions/main/actions/checkout-4geoid-org/deep.gl:dependabot/github_actions/main/actions/checkout-4Copy head branch name to clipboard