chore: amending ssh to https for submodule init #3
tests.yml
on: push
Run Unit Tests
29s
Run Integration Tests
32s
Echidna Test
1m 12s
Run symbolic execution tests
36s
Lint Commit Messages
34s
Annotations
15 warnings