1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-03 07:10:04 -04:00
Commit Graph

2 Commits

Author SHA1 Message Date
Emil Ernerfeldt
7d87acb5fa Remove dead code from CI 2025-01-29 08:43:18 +01:00
Emil Ernerfeldt
b5e3502067 Add link checking to CI (#3445)
* Add link checking to CI, plus another spell checker

* Only spell-check markdown

* Avoid rate-limiting

* Fix some links

* Disable cspell
2023-10-08 09:30:54 +02:00