Merge branch 'main' into update-ubuntu

Author: miguelraz

.github/workflows/build.yml

@@ -1,5 +1,10 @@
 name: Build sample material
 
+env:
+  CARGO_TERM_COLOR: always     # We want colors in our CI output
+  CARGO_INCREMENTAL: 0         # Don't waste time writing out incremental build files
+  CARGO_PROFILE_TEST_DEBUG: 0  # These are thrown away anyways, don't produce them
+
 on:
   push:
   pull_request:
@@ -17,8 +22,10 @@ jobs:
         with:
           tool: mdslides@0.3,mdbook@0.4,mdbook-mermaid@0.12,flip-link@0.1.10
 
+        # `minimal` profile avoids downloading `rustdocs`, `clippy`, etc.
       - name: Install targets
         run: |
+          rustup set profile minimal
           rustup target add thumbv7em-none-eabihf
           rustup component add rust-src
           rustup component add rustfmt

.github/workflows/weekly-canary-build.yml

@@ -1,5 +1,10 @@
 name: Weekly Canary Build
 
+env:
+  CARGO_TERM_COLOR: always     # We want colors in our CI output
+  CARGO_INCREMENTAL: 0         # Don't waste time writing out incremental build files
+  CARGO_PROFILE_TEST_DEBUG: 0  # These are thrown away anyways, don't produce them
+
 on:
     schedule:
         - cron: '0 0 * * Mon'
@@ -21,8 +26,10 @@ jobs:
         with:
           tool: mdslides@0.3,mdbook@0.4,mdbook-mermaid@0.12,flip-link@0.1.10
 
+        # `minimal` profile avoids downloading `rustdocs`, `clippy`, etc.
       - name: Install targets, update, set default Rust
         run: |
+          rustup profile set minimal
           rustup update ${{ matrix.rust-channel }}
           rustup default ${{ matrix.rust-channel }}
           rustup component add rust-src

build.sh

@@ -21,29 +21,29 @@ popd
 pushd qemu-code
 pushd uart-driver
 # Build from source because armv8r-none-eabihf isn't Tier 2
-RUSTC_BOOTSTRAP=1 cargo build -Zbuild-std=core
+RUSTC_BOOTSTRAP=1 cargo build -Zbuild-std=core --locked
 popd
 popd
 pushd nrf52-code
 pushd boards/dk
-cargo build --target=thumbv7em-none-eabihf --locked
+cargo build --target=thumbv7em-none-eabihf --locked --release
 cargo fmt --check
 popd
 pushd boards/dk-solution
-cargo build --target=thumbv7em-none-eabihf --locked
+cargo build --target=thumbv7em-none-eabihf --locked --release
 cargo fmt --check
 popd
 pushd boards/dongle
-cargo build --target=thumbv7em-none-eabihf --locked
+cargo build --target=thumbv7em-none-eabihf --locked --release
 cargo fmt --check
 popd
 pushd radio-app
-cargo build --target=thumbv7em-none-eabihf --release --locked
+cargo build --target=thumbv7em-none-eabihf --locked --release
 cargo fmt --check
 popd
 for i in usb-lib-solutions/*; do
     pushd $i
-    cargo build --target=thumbv7em-none-eabihf --release --locked
+    cargo build --target=thumbv7em-none-eabihf --locked --release
     cargo fmt --check
     cargo test --locked
     popd