From 0e4ab1bda10de9f238e4a73507dd82626f171026 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20R=C3=B6ssler?= Date: Wed, 9 Feb 2022 11:16:25 +0100 Subject: [PATCH] add egui_extras to check.sh --- sh/check.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/sh/check.sh b/sh/check.sh index afcc1db23..e836cde9f 100755 --- a/sh/check.sh +++ b/sh/check.sh @@ -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