Bickio

@karlhorky I created separate action steps to npm install and run both build commands, instead of using the built-in options. It works fine, but it's not particularly clean.

I was unable to build using latest master and the commit in this PR solved my issue. +1 for merging this change

> What build error are you seeing with the latest master? Linux Mint 20.2 ``` wrapper.h:1:10: fatal error: 'z3.h' file not found wrapper.h:1:10: fatal error: 'z3.h' file not found, err:...

In the 2.5 years since this PR was opened, I switched all my projects to [playwright](https://playwright.dev/). Someone else is welcome to tidy this up if they want it merged, but...