Make editor executable executable #22
Job | Run time |
---|---|
1s | |
38m 54s | |
30m 29s | |
41m 17s | |
5m 16s | |
42m 48s | |
20m 38s | |
24m 40s | |
28m 52s | |
21m 44s | |
29m 20s | |
21m 33s | |
15m 14s | |
12m 12s | |
5h 32m 58s |
Job | Run time |
---|---|
1s | |
38m 54s | |
30m 29s | |
41m 17s | |
5m 16s | |
42m 48s | |
20m 38s | |
24m 40s | |
28m 52s | |
21m 44s | |
29m 20s | |
21m 33s | |
15m 14s | |
12m 12s | |
5h 32m 58s |