Build examples in CI

Author: robyoung

.github/scripts/build-examples.sh

@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+
+_status=0
+
+for example in $(ls examples | sed s/\.rs$//); do
+  output=$(cargo build --target=thumbv6m-none-eabi --example=$example --color=always 2>&1)
+  result=$?
+
+  if [[ $result == 0 ]]; then
+    echo "::group::✅ $example ok"
+  else
+    echo "::group::💥 $example fail"
+    _status=1
+  fi
+  echo "$output"
+  echo "::endgroup::"
+done
+
+exit $_status

.github/workflows/ci.yaml

@@ -28,6 +28,9 @@ jobs:
         run: cargo clippy --color=always -- -D warnings
 
       - name: build
-        run: cargo check
+        run: cargo build --target=thumbv6m-none-eabi
+
+      - name: build examples
+        run: .github/scripts/build-examples.sh