.github/dependabot.yml - third_party/github.com/leanprover/lean4 - Git at Google


            
            version: 2

            
            updates:

            
              - package-ecosystem: "github-actions"

            
                directory: "/"

            
                schedule:

            
                  interval: "monthly"

            
                commit-message:

            
                  prefix: "chore: CI"
	version: 2
	updates:
	- package-ecosystem: "github-actions"
	directory: "/"
	schedule:
	interval: "monthly"
	commit-message:
	prefix: "chore: CI"