Check examples in CI

riscv-rt/ci/script.sh

@@ -2,6 +2,7 @@ set -euxo pipefail
 
 main() {
     cargo check --target $TARGET
+    cargo check --target $TARGET --examples
 
     if [ $TRAVIS_RUST_VERSION = nightly ]; then
         cargo check --target $TARGET --features 'inline-asm'