Run juliaup update CHANNEL (after running juliaup add CHANNEL and…

… before running `juliaup default CHANNEL`) (#22) * Run `juliaup update CHANNEL` (after running `juliaup add CHANNEL` and before running `juliaup default CHANNEL`) * Run `make everything-from-scratch`
julia-actions · Apr 5, 2024 · 805cacf · 805cacf
1 parent 9ec42ba
commit 805cacf
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 1 deletion.
diff --git a/dist/index.js b/dist/index.js
@@ -144,6 +144,7 @@ async function install_desired_julia_version(info) {
     const julia_version = inputs.get_julia_version_input();
     const juliaup = platform.get_juliaup(info);
     await exec.exec(juliaup, ['add', `${julia_version}`]);
+    await exec.exec(juliaup, ['update', `${julia_version}`]);
     await exec.exec(juliaup, ['default', `${julia_version}`]);
     return;
 }

diff --git a/lib/julia.js b/lib/julia.js
diff --git a/lib/julia.js.map b/lib/julia.js.map
diff --git a/src/julia.ts b/src/julia.ts
@@ -13,6 +13,7 @@ export async function install_desired_julia_version(info: { juliaup_dir: string}
     const juliaup = platform.get_juliaup(info)
 
     await exec.exec(juliaup, ['add', `${julia_version}`])
+    await exec.exec(juliaup, ['update', `${julia_version}`])
     await exec.exec(juliaup, ['default', `${julia_version}`])
 
     return