CI: Add Dependabot support#448

jessealama wants to merge 1 commit intoleanprover-community:mainleanprover-community/lean4game:mainfrom

jessealama:chore/add-dependabotjessealama/lean4game:chore/add-dependabotCopy head branch name to clipboard