migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 22:53:14 -04:00
Code Activity

CI: update list of accepted PR labels

Browse Source
This commit is contained in:
Emil Ernerfeldt
2023-08-09 12:51:08 +02:00
parent 9731cfd9cf
commit 9c15783fab
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/labels.yml vendored
View File

@@ -29,4 +29,4 @@ jobs:
with:
mode: minimum
count: 1
labels: "ecolor, eframe, egui_extras, egui_glow, egui-wgpu, egui-winit, egui, epaint"
labels: "CI, dependencies, docs and examples, ecolor, eframe, egui_extras, egui_glow, egui-wgpu, egui-winit, egui, epaint"