try different binary setup package

ejrgilbert · May 3, 2024 · d464784 · d464784
1 parent 9b9cf3b
commit d464784
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -16,11 +16,16 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
-    - uses: supplypike/setup-bin@v4
+#    - uses: supplypike/setup-bin@v4
+#      with:
+#        uri: 'https://github.com/WebAssembly/wabt/releases/download/1.0.34/wabt-1.0.34-ubuntu.tar.gz'
+#        name: 'wabt'
+#        version: '1.0.34'
+    - uses: plinioh/[email protected]
       with:
-        uri: 'https://github.com/WebAssembly/wabt/releases/download/1.0.34/wabt-1.0.34-ubuntu.tar.gz'
-        name: 'wabt'
-        version: '1.0.34'
+        binaryName: wasm2wat
+        binaryUrl: https://github.com/WebAssembly/wabt/releases/download/1.0.34/wabt-1.0.34-ubuntu.tar.gz
+        binaryPathInArchive: wabt-1.0.34/bin/wasm2wat
     - name: Build
       run: cargo build --verbose
     - name: Run tests

diff --git a/tests/integration_test.rs b/tests/integration_test.rs
@@ -84,6 +84,7 @@ fn instrument_with_fault_injection() {
                 if !code.success() {
                     assert!(false, "`wasm2wat` verification check failed!");
                 }
+                assert!(true);
             }
             Err(err) => {
                 error!("{}", err.to_string());