Giters
pavpanchekha
/
setup-z3
Install the Z3 binary in Github Actions
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
4
Issues:
5
Forks:
5
pavpanchekha/setup-z3 Issues
Action doesn't work for version 4.12.1 on a Ubuntu 20.04
Updated
a year ago
Versioning confusion
Closed
a year ago
Comments count
1
Publish latest version
Closed
2 years ago
Download file name construction for newer z3 releases.
Closed
2 years ago
Comments count
5
Check failure: The `add-path` command is deprecated and will be disabled soon
Closed
4 years ago
Comments count
2