1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-29 04:40:03 -04:00

Check for typos on CI (#2918)

* Check for typos on CI

* Fix all typos
This commit is contained in:
Emil Ernerfeldt
2023-04-18 16:10:20 +02:00
committed by GitHub
parent 77df9cb982
commit 4809747952
22 changed files with 60 additions and 33 deletions

View File

@@ -20,7 +20,7 @@ members = [
# opt-level = 's' # 10-20% smaller wasm compared to `opt-level = 3`
# opt-level = 1 # very slow and big wasm. Don't do this.
opt-level = 2 # fast and small wasm, basically same as `opt-level = 's'`
# opt-level = 3 # unecessarily large wasm for no performance gain
# opt-level = 3 # unnecessarily large wasm for no performance gain
# debug = true # include debug symbols, useful when profiling wasm