Update linter + CI
Open
- Dominant language
- Python
- Stars
- 63
- Forks
- 13
- PR merge metrics
- No merged PRs in 30d
Description
We should update the linter, and pin the CI:
https://github.com/crytic/tealer/blob/48e110862605263a43cc5bf05b3132234a45a3a6/.github/workflows/linter.yml#L40
Similar to https://github.com/crytic/slither/pull/1157
Contributor guide
Assessment
This issue has not been assessed yet.