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

add egui_extras to check.sh

This commit is contained in:
René Rössler
2022-02-09 11:16:25 +01:00
parent d56dba5c7d
commit 0e4ab1bda1

View File

@@ -36,6 +36,7 @@ cargo doc --document-private-items --no-deps --all-features
(cd eframe && cargo check --all-features)
(cd egui && cargo check --all-features)
(cd egui_extras && cargo check --all-features)
(cd egui_glium && cargo check --all-features)
(cd egui_glow && cargo check --all-features)
(cd egui_web && cargo check --all-features)
@@ -44,6 +45,7 @@ cargo doc --document-private-items --no-deps --all-features
(cd epaint && cargo check --all-features)
(cd epi && cargo check --all-features)
# cargo install cargo-deny
# cargo deny check