Update Certora CLI Version #3014
nlordellci.yml
on: push
tests
5m 18s
lint-solidity
54s
lint-typescript
59s
Matrix: benchmarks
Matrix: coverage
finish
4s