Update to `egui` 0.25.0 #37

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	1m 10s
format	7s
build (Windows x86_64)	4m 48s
build (Linux x86_64)	2m 14s
build (macOS aarch64)	2m 28s
build (macOS x86_64)	2m 26s
	13m 13s