Skip to content

Make the shared julia environment writable by everyone #35

Make the shared julia environment writable by everyone

Make the shared julia environment writable by everyone #35

Job Run time
7s
6s
8s
9s
2m 41s
4s
6s
2m 10s
5s
9s
5s
9s
11s
10s
4s
6s
4s
10s
5s
5s
5s
9s
6s
6s
9s
6s
5s
4s
9s
6s
6s
5s
10s
6s
5s
5s
5s
6s
5s
6s
10s
7s
6s
10s
7s
9s
5s
11s
5s
7s
5s
6s
5s
7s
1m 46s
1m 35s
2m 18s
1m 36s
1m 42s
3m 16s
22m 51s