1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 22:53:14 -04:00
Commit Graph

5 Commits

Author SHA1 Message Date
Emil Ernerfeldt
14bf7b74a3 CI: disable link checker (#7782) 2025-12-16 18:53:03 +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
Emil Ernerfeldt
e3362dafac CI: Update to actions/checkout@v4 (#3304) 2023-09-05 10:18:38 +02:00
Dirk Stolle
9731cfd9cf Update GitHub Actions CI (#3150)
The following updates are performed:
* update actions/checkout to v3
* replace unmaintained actions-rs/toolchain by dtolnay/rust-toolchain
* replace unmaintained actions-rs/cargo by direct invocation of cargo
2023-08-09 12:50:33 +02:00
Emil Ernerfeldt
4809747952 Check for typos on CI (#2918)
* Check for typos on CI

* Fix all typos
2023-04-18 16:10:20 +02:00