extra_arg: fix compatibility with different julia versions #204
Job | Run time |
---|---|
1m 6s | |
7m 52s | |
39s | |
1m 8s | |
6h 0m 2s | |
44s | |
6h 0m 17s | |
6h 0m 10s | |
1m 7s | |
18h 13m 5s |
Job | Run time |
---|---|
1m 6s | |
7m 52s | |
39s | |
1m 8s | |
6h 0m 2s | |
44s | |
6h 0m 17s | |
6h 0m 10s | |
1m 7s | |
18h 13m 5s |