Skip to content

Merge pull request #2330 from crytic/dev-include-paths #5015

Merge pull request #2330 from crytic/dev-include-paths

Merge pull request #2330 from crytic/dev-include-paths #5015

Job Run time
31s
1m 8s
27s
30s
30s
31s
33s
32s
35s
32s
1m 44s
39s
27s
1m 19s
39s
32s
1m 19s
29s
34s
28s
37s
30s
30s
32s
33s
1m 52s
32s
30s
1m 12s
40s
29s
1m 10s
28s
32s
29s
30s
31s
30s
32s
28s
1m 48s
27s
28s
1m 12s
45s
28s
1m 6s
31s
27s
37s
30s
27s
31s
30s
31s
1m 38s
30s
27s
1m 7s
38s
1m 44s
1m 14s
1m 15s
1m 35s
1m 36s
1m 16s
1m 22s
1m 42s
1m 23s
2m 45s
1m 41s
1m 37s
1m 52s
1m 44s
1m 40s
1m 27s
1m 17s
1m 16s
1m 20s
1m 20s
2m 3s
1m 28s
2m 58s
1m 10s
1m 13s
1m 28s
1m 33s
1m 51s
1m 13s
1m 40s
1m 18s
1m 41s
1m 13s
1m 16s
1m 13s
2m 51s
1m 29s
1m 12s
1m 47s
1m 20s
1m 26s
1m 29s
1m 27s
1m 30s
1m 26s
1m 27s
1m 28s
1m 31s
3m 6s
1m 32s
1m 21s
1m 30s
2h 4m 0s