Fix downloading artifacts with actions/download-artifact@v4

.github/workflows/verible-ci.yml

@@ -473,7 +473,7 @@ jobs:
     permissions:
       contents: write
 
-    if: ${{github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master')}}
+    #if: ${{github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master')}}
 
     steps:
 
@@ -485,9 +485,14 @@ jobs:
     - name: 📥 Download artifacts
       uses: actions/download-artifact@v4
       with:
-        merge-multiple: true
+        name: [ verible-install-arm64, verible-install-x86_64, verible-install-win, verible-install-macos, src ]
+
+    - name: look at results
+      run: |
+        ls -l verible-install-arm64 verible-install-x86_64 verible-install-win verible-install-macos src
 
     - name: Generate and apply TAG
+      if: false # testing
       run: |
         git config --local user.name "$BOT_USER"
         git config --local user.email "$BOT_EMAIL"
@@ -498,18 +503,18 @@ jobs:
         git tag "$TAG" || true
         echo "TAG=$TAG" >> $GITHUB_ENV
 
-        ls -lah artifact
-
     - name: Deploy release and assets
+      if: false  # testing
       uses: svenstaro/[email protected]
       with:
         repo_token: ${{ secrets.GITHUB_TOKEN }}
-        file: artifact/verible*.{tar.gz,zip}
+        file: foo/verible*.{tar.gz,zip}
         tag: ${{ env.TAG }}
         overwrite: true
         file_glob: true
 
     - name: Publish VSCode extension
+      if: false  # testing
       env:
         VSC_MARKETPLACE_TOKEN: ${{ secrets.VSC_MARKETPLACE_TOKEN }}
       run: |