mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 10:24:07 +00:00
8 lines
164 B
YAML
8 lines
164 B
YAML
version: 2
|
|
updates:
|
|
- package-ecosystem: "github-actions"
|
|
directory: "/"
|
|
schedule:
|
|
interval: "monthly"
|
|
commit-message:
|
|
prefix: "chore: CI" |