Skip to content

Merge pull request #590 from crytic/nisedo-patch-1 #2955

Merge pull request #590 from crytic/nisedo-patch-1

Merge pull request #590 from crytic/nisedo-patch-1 #2955

Job Run time
14s
13s
13s
13s
13s
12s
11s
12s
13s
13s
13s
12s
16s
13s
18s
24s
14s
20s
13s
13s
14s
12s
12s
24s
25s
22s
30s
17s
28s
18s
16s
15s
14s
14s
17s
15s
15s
16s
13s
25s
27s
15s
14s
16s
16s
27s
18s
16s
27s
14s
25s
19s
14s
17s
15s
17s
15s
10s
9s
8s
9s
3s
7s
8s
7s
8s
16s
6s
4s
17s
3s
3s
3s
7s
4s
4s
9s
10s
11s
10s
11s
12s
11s
11s
11s
12s
10s
11s
10s
12s
18s
11s
11s
11s
12s
10s
11s
10s
10s
10s
12s
11s
15s
9s
23m 25s