grep: remove code-generator (#756) #1045
Job | Run time |
---|---|
28s | |
30s | |
32s | |
33s | |
32s | |
31s | |
31s | |
31s | |
30s | |
30s | |
30s | |
30s | |
30s | |
29s | |
30s | |
31s | |
25s | |
8m 33s |
Job | Run time |
---|---|
28s | |
30s | |
32s | |
33s | |
32s | |
31s | |
31s | |
31s | |
30s | |
30s | |
30s | |
30s | |
30s | |
29s | |
30s | |
31s | |
25s | |
8m 33s |