Merge pull request #241 from alexcrichton/merge

Merge with upstream

Author: alexcrichton

.github/workflows/main.yml

@@ -394,6 +394,10 @@ jobs:
               -p wasmtime-c-api --no-default-features
               -p wasmtime-c-api --no-default-features --features wat
               -p wasmtime-c-api --no-default-features --features wasi
+
+          - name: wasmtime-wasi-http
+            checks: |
+              -p wasmtime-wasi-http --no-default-features
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4
@@ -510,7 +514,7 @@ jobs:
           os: ubuntu-latest
           test: >
             cargo check -p wasmtime --no-default-features --features runtime,component-model &&
-            cargo check -p wasmtime --no-default-features --features runtime,gc,component-model,async &&
+            cargo check -p wasmtime --no-default-features --features runtime,gc,component-model,async,debug-builtins &&
             cargo check -p cranelift-control --no-default-features &&
             cargo check -p pulley-interpreter --features encode,decode,disas,interp &&
             cargo check -p wasmtime-wasi-io --no-default-features
@@ -1022,6 +1026,7 @@ jobs:
           - crate: "wasmtime-environ --all-features"
           - crate: "pulley-interpreter --all-features"
           - script: ./ci/miri-provenance-test.sh
+          - script: ./ci/miri-wast.sh ./tests/spec_testsuite/table.wast
     needs: determine
     if: needs.determine.outputs.test-miri && github.repository == 'bytecodealliance/wasmtime'
     name: Miri