aboutsummaryrefslogtreecommitdiff
path: root/ci.sh
diff options
context:
space:
mode:
authorTyler <[email protected]>2023-07-01 15:41:11 -0500
committerGitHub <[email protected]>2023-07-01 15:41:11 -0500
commit3aedbce5c2775ff1ab10c3ca95ea1311043f4be4 (patch)
tree3cbd9c15c68c7ee3859a17ec6d6fc7150e569686 /ci.sh
parent1f2be2dac5eeed739d2866b9b63ca06fdd84c276 (diff)
parentba4344429264fa7beb99ab19c09059c2d531716d (diff)
Merge pull request #1 from embassy-rs/main
Pull changes from embassy main
Diffstat (limited to 'ci.sh')
-rwxr-xr-xci.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci.sh b/ci.sh
index 3fe1b1ce8..a03efb856 100755
--- a/ci.sh
+++ b/ci.sh
@@ -3,7 +3,7 @@
3set -euo pipefail 3set -euo pipefail
4 4
5export RUSTFLAGS=-Dwarnings 5export RUSTFLAGS=-Dwarnings
6export DEFMT_LOG=trace,cyw43=info,cyw43_pio=info,smoltcp=info 6export DEFMT_LOG=trace,embassy_net_esp_hosted=debug,cyw43=info,cyw43_pio=info,smoltcp=info
7 7
8# needed by wifi examples 8# needed by wifi examples
9export WIFI_NETWORK=x 9export WIFI_NETWORK=x