Merge branch 'dev' into test/handler-cov #387
tests.yml
on: push
Run Unit Tests
29s
Run Integration Tests
36s
Echidna Test
28s
Run symbolic execution tests
29s
Lint Commit Messages
51s
Annotations
4 errors and 15 warnings