Merge branch 'main' of https://github.com/embassy-rs/embassy into hrtim

2023-07-22 14:49:31 -05:00
parent 0c49e6747c 603ea9f310
commit d42dff45de
217 changed files with 6491 additions and 1635 deletions
--- a/ci.sh
+++ b/ci.sh
@ -5,10 +5,6 @@ set -euo pipefail
 export RUSTFLAGS=-Dwarnings
 export DEFMT_LOG=trace,embassy_net_esp_hosted=debug,cyw43=info,cyw43_pio=info,smoltcp=info

-# needed by wifi examples
-export WIFI_NETWORK=x
-export WIFI_PASSWORD=x
-
 TARGET=$(rustc -vV | sed -n 's|host: ||p')

 BUILD_EXTRA=""