[Strings] Fix effects of string.compare and add fuzzing #12427
Job | Run time |
---|---|
21m 59s | |
12m 48s | |
15m 2s | |
11m 57s | |
8m 11s | |
15m 28s | |
9m 27s | |
10m 30s | |
22m 36s | |
13m 40s | |
17m 16s | |
19m 36s | |
1m 2s | |
2h 59m 32s |
Job | Run time |
---|---|
21m 59s | |
12m 48s | |
15m 2s | |
11m 57s | |
8m 11s | |
15m 28s | |
9m 27s | |
10m 30s | |
22m 36s | |
13m 40s | |
17m 16s | |
19m 36s | |
1m 2s | |
2h 59m 32s |