projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed1c57b) | patch
Install necessary packages (#8479)
authorGereon Kremer <gkremer@cs.stanford.edu>
Thu, 31 Mar 2022 07:01:57 +0000 (09:01 +0200)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 07:01:57 +0000 (07:01 +0000)
commit81bcd1aefcf074f09ea528f4e9288f91527981e5
tree9f37fb5c9f74e25004e56a2e02048fe85d4749e7tree
parented1c57b477c8c0008f858265f117142a061ad94fcommit | diff
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 diff | blob | history