From 5758e07cb2aabc868dda4577897400e5784112d5 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Fri, 25 Aug 2023 01:56:44 +0000 Subject: [PATCH] chore(deps): update dependency julialang/julia to v1.9.3 --- scripts/install-julia.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/install-julia.sh b/scripts/install-julia.sh index dd50f21..ff9e340 100644 --- a/scripts/install-julia.sh +++ b/scripts/install-julia.sh @@ -1,7 +1,7 @@ #!/bin/bash set -e -JULIA_VERSION="1.9.0" +JULIA_VERSION="1.9.3" # Install Julia julia_major_minor=$(echo "${JULIA_VERSION}" | cut -d. -f 1,2)