mirror of https://github.com/crytic/slither
Merge pull request #1662 from crytic/dev-ci-minor-improvements
Improvements to GH actionspull/1665/head
commit
9bd166fe43
Loading…
Reference in new issue