ci: user.name and user.email set in documentation GitHub Action

This commit is contained in:
Mateusz Pusz
2023-06-21 11:16:11 +02:00
parent b547ba0f65
commit fa7c61d548

View File

@@ -47,6 +47,10 @@ jobs:
- name: Installing pip packages
run: |
pip install conan mkdocs-material mike
- name: Setup git configuration
run: |
git config --global user.name github-actions
git config --global user.email github-actions@github.com
- name: Building docs
run: |
mike deploy --push --update-aliases `conan inspect . | sed -n -r 's/version: ([0-9]+.[0-9]+).[0-9]+/\1/p'` latest