upgrade julia 1.3.1

This commit is contained in:
dickmao 2020-01-05 18:35:16 -05:00
parent c10f4a93b0
commit 61e53deec3
2 changed files with 6 additions and 6 deletions

View file

@ -66,7 +66,7 @@ jobs:
- name: paths
uses: dickmao/setup-paths@master
with:
paths: local/bin:local/cask/bin:local/R/bin:local/julia-1.1.0/bin
paths: local/bin:local/cask/bin:local/R/bin:local/julia-1.3.1/bin
- name: apt-get
if: startsWith(runner.os, 'Linux')

View file

@ -2,16 +2,16 @@
# install julia for Actions CI
set -x
set -ex
WORKDIR=${HOME}/local
UNAME=$(uname -s)
cd $WORKDIR
if [ "x$UNAME" = "xLinux" ] ; then
if [ ! -d ${WORKDIR}/julia-1.1.0 ]; then
wget https://julialang-s3.julialang.org/bin/linux/x64/1.1/julia-1.1.0-linux-x86_64.tar.gz
tar zxvf julia-1.1.0-linux-x86_64.tar.gz
rm -f julia-1.1.0-linux-x86_64.tar.gz
if [ ! -d ${WORKDIR}/julia-1.3.1 ]; then
wget https://julialang-s3.julialang.org/bin/linux/x64/1.3/julia-1.3.1-linux-x86_64.tar.gz
tar zxvf julia-1.3.1-linux-x86_64.tar.gz
rm -f julia-1.3.1-linux-x86_64.tar.gz
fi
hash
julia --version