Giters
cda-tum
/
setup-z3
Set up a specific version of the Z3 theorem prover
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
10
Watchers:
2
Issues:
2
Forks:
2
cda-tum/setup-z3 Issues
Action `cda-tum/setup-z3@v1.0.8` is broken on `ubuntu-latest`
Closed
2 years ago
Comments count
4
The `set-output` command is deprecated and will be disabled soon.
Closed
2 years ago
Comments count
4