Update documentation and example for no_std

.github/workflows/main.yml

@@ -477,16 +477,6 @@ jobs:
     - run: cargo fuzz build --dev -s none --fuzz-dir ./cranelift/isle/fuzz
     - run: cargo fuzz build --dev -s none --fuzz-dir ./crates/environ/fuzz --features component-model
 
-    # Verify the "min platform" example still works.
-    #
-    # Afterwards make sure the generated header file is up to date by ensuring
-    # that the regeneration process didn't change anything in-tree.
-    - run: cargo install cbindgen --vers "^0.26" --locked
-    - run: rustup component add rust-src
-    - run: ./build.sh ./embedding/x86_64-unknown-unknown.json
-      working-directory: ./examples/min-platform
-    - run: git diff --exit-code
-
     # common logic to cancel the entire run if this job fails
     - run: gh run cancel ${{ github.run_id }}
       if: failure() && github.event_name != 'pull_request'
@@ -694,6 +684,38 @@ jobs:
       env:
         GH_TOKEN: ${{ github.token }}
 
+  # Verify the "min platform" example still works.
+  test-min-platform-example:
+    name: Test the min-platform example
+    needs: determine
+    if: needs.determine.outputs.run-full
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        submodules: true
+    - uses: ./.github/actions/install-rust
+    - run: cargo install cbindgen --vers "^0.26" --locked
+    - run: rustup target add x86_64-unknown-none
+    - run: ./build.sh x86_64-unknown-none
+      working-directory: ./examples/min-platform
+
+    # Afterwards make sure the generated header file is up to date by ensuring
+    # that the regeneration process didn't change anything in-tree.
+    - run: git diff --exit-code
+
+    # Add the `wasmtime-platform.h` file as a release artifact
+    - uses: actions/upload-artifact@v4
+      with:
+        name: wasmtime-platform-header
+        path: examples/min-platform/embedding/wasmtime-platform.h
+
+    # common logic to cancel the entire run if this job fails
+    - run: gh run cancel ${{ github.run_id }}
+      if: failure() && github.event_name != 'pull_request'
+      env:
+        GH_TOKEN: ${{ github.token }}
+
 
   build-wasmtime-target-wasm32:
     name: Build wasmtime-target-wasm32
@@ -915,6 +937,7 @@ jobs:
       - miri
       - build-preview1-component-adapter
       - build-wasmtime-target-wasm32
+      - test-min-platform-example
     if: always()
     steps:
     - name: Successful test and build