Install necessary packages (#8479)

We use beautifulsoup to generate the version selector of the release documentation. This PR makes sure all necessary dependencies for this script are installed.

diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index b2ac38089dd864baade474a3b2bc2b6fab97f494..b5b28363c1c57718ecfa38dc85220a78f6be4859 100644 (file)
--- a/.github/workflows/docs_upload.yml
+++ b/.github/workflows/docs_upload.yml
@@ -115,6 +115,8 @@ jobs:
         continue-on-error: true
         run: |
           if [ "$ISRELEASE" = true ]; then
+            python3 -m pip install beautifulsoup4 lxml
+
             eval $(ssh-agent -s)
             ssh-add - <<< "${{ secrets.CVC5_DOCS_RELEASE_TOKEN }}"