Skip to content

ci: add Dependabot config for actions and pip - #895

Open
jessealama wants to merge 1 commit into
leanprover:mainfrom
jessealama:ci/dependabot
Open

ci: add Dependabot config for actions and pip#895
jessealama wants to merge 1 commit into
leanprover:mainfrom
jessealama:ci/dependabot

ci: add Dependabot config for actions and pip

1846b5a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Sep 11, 2026 in 8m 0s