Add panels on the starter pages

Resolve #2381
tarantool · Oct 19, 2021 · 21b1dee · 21b1dee
1 parent da3e129
commit 21b1dee
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/.github/workflows/deploy-branch.yml b/.github/workflows/deploy-branch.yml
@@ -34,6 +34,7 @@ jobs:
           env: "branch-${{env.BRANCH_NAME}}"
           ref: ${{github.head_ref}}
 
+      - run: pip install sphinx-panels
       - run: cmake .
       - run: make pull-modules
       - run: make build-modules

diff --git a/.github/workflows/pull-translation.yml b/.github/workflows/pull-translation.yml
@@ -15,6 +15,8 @@ jobs:
         with:
           token: "${{ secrets.TARANTOOLBOT_TOKEN }}"
 
+      - run: pip install sphinx-panels
+
       - name: Set branch name from source branch
         run: echo "BRANCH_NAME=${GITHUB_REF##*/}" >> $GITHUB_ENV
 

diff --git a/.github/workflows/push-translation.yml b/.github/workflows/push-translation.yml
@@ -13,6 +13,8 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
+      - run: pip install sphinx-panels
+
       - name: Set branch name from source branch
         run: echo "BRANCH_NAME=${GITHUB_HEAD_REF##*/}" >> $GITHUB_ENV