Skip to content
Back to pull request #5528

Fix build of egui.rs #177

Sign in to view logs

Fix build of egui.rs

Fix build of egui.rs #177

Annotations

1 warning

cleanup

cleanup
succeeded Dec 28, 2024 in 19s