Skip to content

Make slither optional (#1159) #1743

Make slither optional (#1159)

Make slither optional (#1159) #1743

Job Run time
3m 37s
3m 37s
3m 37s
2m 10s
2m 10s
2m 10s
8m 12s
8m 12s
8m 12s
3m 38s
3m 38s
3m 38s
4m 7s
4m 7s
4m 7s
3m 29s
3m 29s
3m 29s
4m 18s
4m 18s
4m 18s
5m 36s
5m 36s
5m 36s
5m 16s
5m 16s
5m 16s
5m 20s
5m 20s
5m 20s
6m 21s
5m 53s
6m 5s
2h 35m 28s