Update .gitpod.yml

.gitpod.yml

@@ -1,10 +1,12 @@
-
 image:
   file: .gitpod.Dockerfile
 tasks:
-  - init: echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
-     && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
-     && direnv allow /workspace
-  - command: cd . && julia -e 'include("init.jl")'
+  - init: >
+      cd ~ && curl -L https://storage.googleapis.com/julialang2/bin/linux/x64/$JULIA_MINOR_VERSION/julia-$JULIA_BUGFIX_VERSION-linux-x86_64.tar.gz 
+      | tar -xzf -
+      && echo "PATH_add ~/julia-$JULIA_BUGFIX_VERSION/bin" > /workspace/.envrc 
+      && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc 
+      && direnv allow /workspace
+  - command: julia -e 'include("init.jl")'
   - command: python3 -m http.server 8080 -d docs/build
   - command: julia -e 'using Pkg; Pkg.activate("."); Pkg.instantiate();include("testCreateContract.jl"); include("testPendingMutations.jl")'