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:
 
@@ -487,7 +487,13 @@ jobs:
       with:
         merge-multiple: true
 
+    - name: look at results
+      run: |
+        ls -l
+        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 +504,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: "{verible-install-arm64,verible-install-x86_64,verible-install-win,verible-install-macos,src}/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: |