Merge pull request #293 from Dstack-TEE/nostd-check

Add no_std check for rust-sdk-types

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,14 +43,15 @@ members = [
     "serde-duration",
     "dstack-mr",
     "dstack-mr/cli",
+    "no_std_check",
 ]
 resolver = "2"
 
 [workspace.dependencies]
 # Internal dependencies
 ra-rpc = { path = "ra-rpc", default-features = false }
 ra-tls = { path = "ra-tls" }
-dstack-sdk-types = { path = "sdk/rust/types" }
+dstack-sdk-types = { path = "sdk/rust/types", default-features = false }
 dstack-gateway-rpc = { path = "gateway/rpc" }
 dstack-kms-rpc = { path = "kms/rpc" }
 dstack-guest-agent-rpc = { path = "guest-agent/rpc" }
@@ -95,7 +96,7 @@ sd-notify = "0.4.5"
 jemallocator = "0.5.4"
 
 # Serialization/Parsing
-borsh = { version = "1.5.7", features = ["derive"] }
+borsh = { version = "1.5.7", default-features = false, features = ["derive"] }
 bon = { version = "3.4.0", default-features = false }
 base64 = "0.22.1"
 hex = { version = "0.4.3", default-features = false }

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 _;

no_std_check/src/lib.rs

@@ -11,7 +11,7 @@ alloy = { workspace = true, features = ["signers", "signer-local"] }
 anyhow.workspace = true
 dstack-sdk-types.workspace = true
 bon.workspace = true
-hex.workspace = true
+hex = { workspace = true, features = ["std"] }
 http.workspace = true
 http-client-unix-domain-socket = "0.1.1"
 reqwest = { workspace = true, features = ["json"] }

sdk/rust/Cargo.toml

@@ -31,4 +31,5 @@ std = [
     "serde/std",
     "serde_json/std",
     "sha2/std",
+    "borsh?/std"
 ]