Get Pulley tests passing under MIRI; run Pulley tests under MIRI in CI (

bytecodealliance#9014) * Pulley: Get tests passing with permissive provenance under MIRI Co-Authored-By: Alex Crichton <[email protected]> * Pulley: Get tests passing with strict provenance in MIRI Co-Authored-By: Alex Crichton <[email protected]> * Test Pulley under MIRI in CI * Test Pulley with all cargo features in CI * Quiet a warning for certain build configs --------- Co-authored-by: Alex Crichton <[email protected]>
kadenlnelson · Jul 25, 2024 · ef1ffa2 · ef1ffa2
1 parent 36963d2
commit ef1ffa2
Show file tree

Hide file tree

Showing 6 changed files with 261 additions and 177 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -979,7 +979,11 @@ jobs:
   miri:
     strategy:
       matrix:
-        crate: ["wasmtime", "wasmtime-cli", "wasmtime-environ"]
+        crate:
+          - "wasmtime"
+          - "wasmtime-cli"
+          - "wasmtime-environ"
+          - "pulley-interpreter --all-features"
     needs: determine
     if: needs.determine.outputs.run-full && github.repository == 'bytecodealliance/wasmtime'
     name: Miri

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/pulley/Cargo.toml b/pulley/Cargo.toml
@@ -14,6 +14,7 @@ workspace = true
 [dependencies]
 arbitrary = { workspace = true, optional = true }
 log = { workspace = true }
+sptr = { workspace = true }
 
 [dev-dependencies]
 env_logger = { workspace = true }