mirror of
https://github.com/servo/servo.git
synced 2025-09-19 03:18:20 +01:00
The merge queue today was greatly affected by many dependabot PRs in the European morning, which caused a long merge queue for the rest of the day. Let's attempt to schedule dependabot updates during less busy times, and also reduce the limit of open PRs. [Dependabot documentation](https://docs.github.com/en/code-security/dependabot/working-with-dependabot/dependabot-options-reference#schedule-) Testing: No testing. Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
57 lines
1.4 KiB
YAML
57 lines
1.4 KiB
YAML
version: 2
|
|
updates:
|
|
- package-ecosystem: cargo
|
|
directory: "/"
|
|
exclude-paths:
|
|
- "tests/blink_perf/**"
|
|
- "tests/wpt/**"
|
|
schedule:
|
|
interval: daily
|
|
# default timezone is UTC
|
|
# CI is usually busiest during european daytime.
|
|
time: "00:00"
|
|
open-pull-requests-limit: 7
|
|
allow:
|
|
- dependency-type: direct
|
|
- dependency-type: indirect
|
|
groups:
|
|
egui-related:
|
|
patterns:
|
|
- "ecolor"
|
|
- "egui"
|
|
- "egui-file-dialog"
|
|
- "egui-winit"
|
|
- "egui_glow"
|
|
- "emath"
|
|
- "epaint"
|
|
- "epaint_default_fonts"
|
|
gstreamer-related:
|
|
patterns:
|
|
- "gio*"
|
|
- "glib*"
|
|
- "gobject*"
|
|
- "gstreamer*"
|
|
napi-ohos-related:
|
|
patterns:
|
|
- "napi-ohos*"
|
|
- "napi-*-ohos*"
|
|
objc2-related:
|
|
patterns:
|
|
- "objc2*"
|
|
servo-media-related:
|
|
patterns:
|
|
- "servo-media*"
|
|
ignore:
|
|
# Ignore all stylo crates as their upgrades are coordinated via companion PRs.
|
|
- dependency-name: selectors
|
|
- dependency-name: servo_arc
|
|
- dependency-name: stylo
|
|
- dependency-name: stylo_atoms
|
|
- dependency-name: stylo_config
|
|
- dependency-name: stylo_derive
|
|
- dependency-name: stylo_dom
|
|
- dependency-name: stylo_malloc_size_of
|
|
- dependency-name: stylo_static_prefs
|
|
- dependency-name: stylo_traits
|
|
- dependency-name: to_shmem
|
|
- dependency-name: to_shmem_derive
|