repositories
/
poolifier.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
perf: export also JSON results with external pools benchmark
[poolifier.git]
/
.github
/
workflows
/
generate-documentation.yml
diff --git
a/.github/workflows/generate-documentation.yml
b/.github/workflows/generate-documentation.yml
index fcf24a47cfed428fbe8c38ed8b2efe139520dfa4..f3d4ae4e428b116ce26bbb184f1263ed3b41eb59 100644
(file)
--- a/
.github/workflows/generate-documentation.yml
+++ b/
.github/workflows/generate-documentation.yml
@@
-29,11
+29,15
@@
jobs:
- name: Commit files
if: github.repository == 'poolifier/poolifier' && github.ref == 'refs/heads/${{ github.event.repository.default_branch }}'
- name: Commit files
if: github.repository == 'poolifier/poolifier' && github.ref == 'refs/heads/${{ github.event.repository.default_branch }}'
+ env:
+ COMMIT_MESSAGE: 'docs: generate documentation'
+ COMMIT_AUTHOR: Documentation Bot
+ COMMIT_EMAIL: documentation-bot@users.noreply.github.com
run: |
run: |
- git config --local user.
email "41898282+github-actions[bot]@users.noreply.github.com
"
- git config --local user.
name "github-actions[bot]
"
+ git config --local user.
name "${{ env.COMMIT_AUTHOR }}
"
+ git config --local user.
email "${{ env.COMMIT_EMAIL }}
"
git add ./docs
git add ./docs
- git commit -
m "docs: generate documentation" -a
+ git commit -
a -m "${{ env.COMMIT_MESSAGE }}"
- name: Push changes
if: github.repository == 'poolifier/poolifier' && github.ref == 'refs/heads/${{ github.event.repository.default_branch }}'
- name: Push changes
if: github.repository == 'poolifier/poolifier' && github.ref == 'refs/heads/${{ github.event.repository.default_branch }}'