Merge pull request #35 from mvorisek/improve_var_names #306
Job | Run time |
---|---|
11s | |
35s | |
14s | |
15s | |
15s | |
15s | |
15s | |
15s | |
17s | |
15s | |
17s | |
14s | |
15s | |
16s | |
24s | |
4m 13s |
Job | Run time |
---|---|
11s | |
35s | |
14s | |
15s | |
15s | |
15s | |
15s | |
15s | |
17s | |
15s | |
17s | |
14s | |
15s | |
16s | |
24s | |
4m 13s |