ci: add package repository to pages deployment

Update the pages job to also download the repository artifact from
tuxpkg and deploy it alongside the docs to GitHub Pages under
/packages/.

Signed-off-by: Anders Roxell <anders.roxell@linaro.org>

Author: roxell

.github/workflows/ci.yml

@@ -222,7 +222,7 @@ jobs:
 
   pages:
     runs-on: ubuntu-latest
-    needs: build-docs
+    needs: [build-docs, tuxpkg]
     if: startsWith(github.ref, 'refs/tags/v')
     permissions:
       pages: write
@@ -235,6 +235,10 @@ jobs:
         with:
           name: docs
           path: public
+      - uses: actions/download-artifact@v4
+        with:
+          name: repository
+          path: public/packages
       - name: Setup Pages
         uses: actions/configure-pages@v4
       - name: Upload artifact