Revert "Merge branch 'dev' into test/handler-cov" #388
tests.yml
on: push
Run Unit Tests
1m 21s
Run Integration Tests
57s
Echidna Test
53s
Run symbolic execution tests
59s
Lint Commit Messages
27s
Annotations
15 warnings