Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

servoshell: Update all egui dependencies and group them for dependabot (#32683)

Browse source 
This updates egui, making the necessary changes to maintain behavior. In
addition, it groups dependencies so that they are updated in a single PR
by dependabot, avoiding manual work.
This commit is contained in:
Martin Robinson 2024-07-04 08:36:19 +02:00 • committed by GitHub
parent 650af7db92
commit e14e079fff
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 37 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/dependabot.yml vendored
View file

@ -15,6 +15,12 @@ updates:
- "glib*"
- "gobject*"
- "gstreamer*"
groups:
egui-related:
patterns:
- "egui"
- "egui_glow"
- "egui-winit"
ignore:
# Ignore all stylo crates as their upgrades are coordinated via companion PRs.
- dependency-name: servo_atoms