Bumps actions/download-artifact from 4 to 5 (see #477)

Author: vhotspur

.github/workflows/main.yml

@@ -107,7 +107,7 @@ jobs:
         run: git config --global --add safe.directory $GITHUB_WORKSPACE
 
       - name: Fetch pre-built main JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v5
         with:
           name: main-jar
           path: target
@@ -189,13 +189,13 @@ jobs:
         run: tools/ci/pre-show-env.sh
 
       - name: Fetch pre-built main JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v5
         with:
           name: main-jar
           path: target
 
       - name: Fetch pre-built JMH JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v5
         with:
           name: jmh-jar
           path: renaissance-jmh/target
@@ -240,7 +240,7 @@ jobs:
           path: ${{ env.COURSIER_CACHE }}
 
       - name: Fetch pre-built main JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v5
         with:
           name: main-jar
           path: target