Do not download unnecessary artifacts (#6769)

Author: cknitt

.github/workflows/ci.yml

@@ -286,6 +286,8 @@ jobs:
 
       - name: Download artifacts
         uses: actions/download-artifact@v4
+        with:
+          pattern: "@(binaries-*|lib-ocaml)"
 
       - name: Move artifacts
         run: ./scripts/moveArtifacts.sh