Repository navigation
Integrate Amarna (Cairo static-analyzer and linter) into our continuous integration process #130
Description
Activity
While this was integrated in PR#158 we should also integrate it to the project itself, add as a dependency and make available as part of the
make lintentry point.
https://github.com/crytic/amarna