update GitHub Actions workflows to new versions of tools

Author: Viir

.github/workflows/build-and-publish-elm-silent-teacher.yml

@@ -4,7 +4,7 @@ on:
   workflow_dispatch:
   push:
     paths:
-    - "implement/pine/ElmTime/**"
+    - "implement/pine/Elm/**"
     - ".github/workflows/build-and-publish-elm-silent-teacher.yml"
 
 jobs:
@@ -13,21 +13,22 @@ jobs:
     runs-on: ubuntu-24.04
 
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v5
 
     - name: download build tool
       run: |
-        pwsh -nologo -noprofile -command "Invoke-WebRequest 'https://github.com/pine-vm/pine/releases/download/v2023-09-12/elm-time-bin-v2023-09-12-linux-x64.zip' -OutFile elm-time-linux-x64.zip"
-        pwsh -nologo -noprofile -command "& { Add-Type -A 'System.IO.Compression.FileSystem'; [IO.Compression.ZipFile]::ExtractToDirectory('elm-time-linux-x64.zip','./elm-time');}"
+        pwsh -nologo -noprofile -command "Invoke-WebRequest 'https://github.com/pine-vm/pine/releases/download/v0.4.22/pine-bin-v0.4.22-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: |
-        chmod  +x  ./elm-time/elm-time
-        sudo  ./elm-time/elm-time  install
+        chmod  +x  ./pine/pine
+        sudo  ./pine/pine  install
 
     - name: Build for Netlify
       working-directory: ./implement/pine/Elm/learn-elm
       run: |
-        elm-time  make  src/Frontend/ElmSilentTeacher/Build.elm  --output=netlify.zip
+        pine  make  src/Frontend/ElmSilentTeacher/Build.elm  --output=netlify.zip
         pwsh -nologo -noprofile -command "& { Add-Type -A 'System.IO.Compression.FileSystem'; [IO.Compression.ZipFile]::ExtractToDirectory('netlify.zip','./out/netlify');}"
 
     - name: Deploy to Netlify

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

@@ -13,12 +13,13 @@ jobs:
     runs-on: ubuntu-24.04
 
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v5
 
     - name: download build tool
       run: |
         pwsh -nologo -noprofile -command "Invoke-WebRequest 'https://github.com/pine-vm/pine/releases/download/v0.4.22/pine-bin-v0.4.22-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: |
         chmod  +x  ./pine/pine

.github/workflows/build-native-tools.yml

@@ -29,8 +29,8 @@ jobs:
     - name: Avoid git mutating files on checkout
       run: |
         git config --global core.autocrlf false
-    - uses: actions/checkout@v4
-    - uses: actions/setup-dotnet@v4
+    - uses: actions/checkout@v5
+    - uses: actions/setup-dotnet@v5
       with:
         dotnet-version: '9.0.305'
 
@@ -50,7 +50,7 @@ jobs:
         Get-ChildItem -Path "./dotnet-build/" -Filter "native-tools*" | ForEach-Object { Copy-Item -Path $_.FullName -Destination "./publish/" }
 
     - name: Publish artifacts
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: native-tools-bin-${{ github.sha }}-${{ matrix.publish-runtime-id }}
         path: ./publish

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

@@ -38,7 +38,7 @@ jobs:
         run: |
           git config --global core.autocrlf false
 
-      - uses: actions/setup-dotnet@v4
+      - uses: actions/setup-dotnet@v5
         with:
           dotnet-version: '9.0.x'
 
@@ -65,7 +65,7 @@ jobs:
         run: elm-test-rs --version
 
       - name: Checkout code
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Prebuild
         working-directory: ./implement/

.github/workflows/publish-docker-image.yml

@@ -19,7 +19,7 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Log in to the Container registry
         uses: docker/login-action@f054a8b539a109f9f41c372932f1ae047eff08c9

.github/workflows/publish-to-release.yml

@@ -30,8 +30,8 @@ jobs:
     - name: Avoid git mutating files on checkout
       run: |
         git config --global core.autocrlf false
-    - uses: actions/checkout@v4
-    - uses: actions/setup-dotnet@v4
+    - uses: actions/checkout@v5
+    - uses: actions/setup-dotnet@v5
       with:
         dotnet-version: '9.0.305'
 
@@ -56,7 +56,7 @@ jobs:
         Get-ChildItem -Path "./dotnet-build/" -Filter "pine*" | ForEach-Object { Copy-Item -Path $_.FullName -Destination "./publish/" }
 
     - name: Publish artifacts
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: pine-bin-${{ steps.tagName.outputs.tag }}-${{ matrix.publish-runtime-id }}
         path: ./publish

.github/workflows/test-and-publish.yml

@@ -29,9 +29,9 @@ jobs:
       run: |
         git config --global core.autocrlf false
 
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v5
 
-    - uses: actions/setup-dotnet@v4
+    - uses: actions/setup-dotnet@v5
       with:
         dotnet-version: '9.0.x'
 
@@ -65,7 +65,7 @@ jobs:
         dotnet  run  --project=./implement/Pine.IntegrationTests/Pine.IntegrationTests.csproj  --  --report-xunit-trx  --diagnostic
 
     - name: Publish test results
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       if: always()
       with:
         name: test-results-${{ github.sha }}-${{ matrix.environment }}
@@ -92,7 +92,7 @@ jobs:
         Get-ChildItem -Path "./dotnet-build/" -Filter "pine*" | ForEach-Object { Copy-Item -Path $_.FullName -Destination "./publish/" }
 
     - name: Publish artifacts
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: pine-bin-${{ github.sha }}-${{ matrix.publish-runtime-id }}
         path: ./publish
@@ -101,7 +101,7 @@ jobs:
       run: dotnet publish -c Debug ./implement/pine --output ./publish-separate-assemblies
 
     - name: Publish artifacts with separate assemblies
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: pine-separate-assemblies-${{ github.sha }}-${{ matrix.publish-runtime-id }}
         path: ./publish-separate-assemblies