update setup to latest release

Author: Viir

.github/workflows/build-and-publish-website-pinevm.yml

@@ -17,7 +17,7 @@ jobs:
 
     - name: download build tool
       run: |
-        pwsh -nologo -noprofile -command "Invoke-WebRequest 'https://github.com/pine-vm/pine/releases/download/v0.4.6/pine-bin-v0.4.6-linux-x64.zip' -OutFile pine-bin-linux-x64.zip"
+        pwsh -nologo -noprofile -command "Invoke-WebRequest 'https://github.com/pine-vm/pine/releases/download/v0.4.10/pine-bin-v0.4.10-linux-x64.zip' -OutFile pine-bin-linux-x64.zip"
         pwsh -nologo -noprofile -command "& { Add-Type -A 'System.IO.Compression.FileSystem'; [IO.Compression.ZipFile]::ExtractToDirectory('pine-bin-linux-x64.zip','./pine');}"
     - name: install build tool
       run: |

.github/workflows/copilot-setup-steps.yml

@@ -47,7 +47,7 @@ jobs:
       - name: Install Pine to $RUNNER_TEMP and expose it
         run: |
           set -euo pipefail
-          curl -L https://github.com/pine-vm/pine/releases/download/v0.4.6/pine-bin-v0.4.6-linux-x64.zip \
+          curl -L https://github.com/pine-vm/pine/releases/download/v0.4.10/pine-bin-v0.4.10-linux-x64.zip \
               -o "$RUNNER_TEMP/pine.zip"
           unzip -q "$RUNNER_TEMP/pine.zip" -d "$RUNNER_TEMP/pine"
           echo "$RUNNER_TEMP/pine" >> "$GITHUB_PATH"

implement/website/pinevm/src/Frontend/Page/Download.elm

@@ -55,9 +55,9 @@ vscodeMarketplaceUrl =
 
 downloads : DownloadLinksByPlatform
 downloads =
-    { linux = "https://github.com/pine-vm/pine/releases/download/v0.4.9/pine-bin-v0.4.9-linux-x64.zip"
-    , windows = "https://github.com/pine-vm/pine/releases/download/v0.4.9/pine-bin-v0.4.9-win-x64.zip"
-    , macOS = "https://github.com/pine-vm/pine/releases/download/v0.4.9/pine-bin-v0.4.9-osx-x64.zip"
+    { linux = "https://github.com/pine-vm/pine/releases/download/v0.4.10/pine-bin-v0.4.10-linux-x64.zip"
+    , windows = "https://github.com/pine-vm/pine/releases/download/v0.4.10/pine-bin-v0.4.10-win-x64.zip"
+    , macOS = "https://github.com/pine-vm/pine/releases/download/v0.4.10/pine-bin-v0.4.10-osx-x64.zip"
     }