transmissions11 opened this issue 2 years ago · 0 comments
https://github.com/marketplace/actions/install-z3
https://github.com/spearbit-audits/paradigm/discussions/11