From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Thu, 31 Mar 2022 07:01:57 +0000 (+0200)
Subject: Install necessary packages (#8479)
X-Git-Tag: cvc5-1.0.0~98
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=81bcd1aefcf074f09ea528f4e9288f91527981e5;p=cvc5.git

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 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 }}"