1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 22:53:14 -04:00
Files
egui/crates
Emil Ernerfeldt b46b9e225f Formatting fixes: fix red main (#8232)
* I accidentally merged https://github.com/emilk/egui/pull/8127 without
all of its checks having been run.

I've now marked a few CI items as required
2026-06-10 19:45:13 +00:00
..