Version 1.3.0

This new update adds the distribution keyword argument, which is necessary for handling more recent Z3 releases on some platforms.

Version 0.3.0

This release includes the configurable distribution parameter, and updates it default value, thereby allowing more recent Z3 versions to be used.

Version 0.2.0

This release added a distribution parameter so you can use this Action on Windows or macOS.

Another minor bump

Merge pull request #5 from serras/master

Update dependencies and push files

Minor release to bump dependency versions

1.2.1

Merge pull request #3 from pavpanchekha/dependabot/npm_and_yarn/actio…

Publishing to the Marketplace

It now works well enough that someone might want to use it!

First working release

This should now correctly install Z3, assuming you're on Ubuntu.