Merge remote-tracking branch 'upstream/main' into stack-switching

Author: frank-emrich

.github/workflows/main.yml

@@ -588,7 +588,7 @@ jobs:
       if: ${{ matrix.cross }}
     - name: Install apt packages
       if: ${{ matrix.apt_packages }}
-      run: sudo apt-get install -y ${{ matrix.apt_packages }}
+      run: sudo apt-get update && sudo apt-get install -y ${{ matrix.apt_packages }}
     - run: ${{ matrix.test }}
       env:
         CARGO_BUILD_TARGET: ${{ matrix.target }}
@@ -774,7 +774,7 @@ jobs:
       run: sysctl hw
       if: runner.os == 'macOS'
     - name: CPU information
-      run: wmic cpu list /format:list
+      run: Get-WmiObject Win32_Processor
       shell: pwsh
       if: runner.os == 'Windows'
 

.gitignore

@@ -27,4 +27,6 @@ examples/.cache
 cranelift/isle/veri/veri_engine/test_output
 crates/explorer/node_modules
 tests/all/pulley_provenance_test.cwasm
-artifacts
+/artifacts
+testcase*.wat
+testcase*.wasm