Merge branch 'main' into feature/instruction-flowgraph

boa-dev · Nov 22, 2022 · a56b0ee · a56b0ee
2 parents c27e382 + 20db887
commit a56b0ee
Show file tree

Hide file tree

Showing 170 changed files with 5,024 additions and 1,871 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -27,7 +27,7 @@ jobs:
       - name: Run cargo-tarpaulin
         uses: actions-rs/[email protected]
         with:
-          args: --features intl --ignore-tests
+          args: --features intl --ignore-tests --engine llvm
       - name: Upload to codecov.io
         uses: codecov/codecov-action@v3