migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 14:50:03 -04:00
Code Activity

Simplify, clean up and speed up CI (#1970)

Browse Source 
Use https://github.com/Swatinem/rust-cache
This commit is contained in:
Emil Ernerfeldt
2022-08-27 09:54:47 +02:00
committed by GitHub
parent f3f6946eb2
commit b978b06159
3 changed files with 104 additions and 171 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
sh/wasm_bindgen_check.sh
View File

@@ -3,7 +3,13 @@ set -eu
script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
cd "$script_path/.."
./sh/setup_web.sh
if [[ $* == --skip-setup ]]
then
echo "Skipping setup_web.sh"
else
echo "Running setup_web.sh"
./sh/setup_web.sh
fi
CRATE_NAME="egui_demo_app"
FEATURES="glow,http,persistence,screen_reader"