Add missing dependency

antmicro · Jun 27, 2023 · 117531f · 117531f
1 parent dffb81f
commit 117531f
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.github/scripts/update_webpage.sh b/.github/scripts/update_webpage.sh
@@ -65,7 +65,14 @@ update_webpage(){
     replace_dir ./coverage_dashboard ${PUBLIC_DIR}/${DIR}/coverage_dashboard
     replace_dir ./verification_dashboard ${PUBLIC_DIR}/${DIR}/verification_dashboard
 
+    pushd .github/scripts/indexgen
+    python -m venv venv
+    source venv/bin/activate
+    pip install -r requirements.txt
+    popd
+
     make -C .github/scripts/indexgen all ROOTDIR=`realpath ./public.old` BUILDDIR=`realpath ./public.new`
+
     echo -e "${COLOR_WHITE}Makefile exit status:$?${COLOR_CLEAR}"
     echo -e "${COLOR_WHITE}================= tree =================${COLOR_CLEAR}"
     tree -d -L 3 ./public.new/

diff --git a/.github/workflows/publish-webpage.yml b/.github/workflows/publish-webpage.yml
@@ -15,6 +15,9 @@ jobs:
       - name: Setup repository
         uses: actions/checkout@v3
 
+      - name: Setup python
+        uses: actions/setup-python@v4
+
       - name: Print metadata
         run: |
           run_information="Repository: ${{ github.repository }} Commit SHA:${{ github.sha }} Workflow: ${{ github.workflow }} Run:${{ github.run_id }}"