Merge pull request #3 from dodger213/certora/spec2 #9
dodger213ci.yml
on: push
Matrix: tests
lint-solidity
24s
lint-typescript
24s
Matrix: benchmarks
finish
2s
Annotations
1 error
|
lint-solidity
Process completed with exit code 1.
|