Skip to content

Merge pull request #2197 from crytic/remove-unused-files #4802

Merge pull request #2197 from crytic/remove-unused-files

Merge pull request #2197 from crytic/remove-unused-files #4802

Job Run time
24s
26s
23s
23s
24s
24s
22s
25s
25s
24s
22s
25s
22s
24s
25s
24s
13s
23s
24s
25s
24s
23s
23s
22s
24s
23s
22s
23s
24s
22s
27s
28s
26s
23s
25s
25s
27s
25s
25s
25s
23s
27s
22s
26s
27s
25s
23s
22s
25s
24s
23s
27s
26s
24s
23s
24s
25s
25s
24s
24s
8s
9s
10s
10s
9s
21s
22s
4s
9s
9s
3s
7s
9s
9s
4s
17s
4s
10s
9s
8s
9s
8s
9s
8s
10s
7s
1s
1s
10s
7s
7s
10s
7s
11s
8s
9s
7s
1s
7s
1s
7s
7s
10s
1s
7s
8s
11s
6s
10s
9s
10s
9s
31m 6s