Add no_std_check in CI

Author: kvinwang

.github/workflows/sdk.yaml

@@ -22,7 +22,7 @@ jobs:
         with:
           components: clippy, rustfmt
           # This additional target is needed for wasm32 compatibility check.
-          targets: wasm32-unknown-unknown
+          targets: wasm32-unknown-unknown, thumbv6m-none-eabi
 
       - name: SDK tests
         run: cd sdk && ./run-tests.sh
@@ -32,4 +32,7 @@ jobs:
         run: cargo check --target=wasm32-unknown-unknown -p dstack-sdk-types
 
       - name: Verify no_std compatibility
-        run: cargo test -p dstack-sdk-types --test no_std_test --no-default-features
+        run: |
+          cargo test -p dstack-sdk-types --test no_std_test --no-default-features
+          cargo check -p no_std_check --target thumbv6m-none-eabi
+

Cargo.lock

@@ -43,6 +43,7 @@ members = [
     "serde-duration",
     "dstack-mr",
     "dstack-mr/cli",
+    "no_std_check",
 ]
 resolver = "2"
 

Cargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "no_std_check"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+dstack-sdk-types = { workspace = true, features = ["borsh"] }

no_std_check/Cargo.toml

@@ -0,0 +1,4 @@
+#![no_std]
+
+// Import the types we want to test
+use dstack_sdk_types as _;