From 81bcd1aefcf074f09ea528f4e9288f91527981e5 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Thu, 31 Mar 2022 09:01:57 +0200
Subject: [PATCH] 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.
---
 .github/workflows/docs_upload.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index b2ac38089..b5b28363c 100644
--- 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 }}"
 
-- 
2.30.2