Skip to content

Delete comments in generate-documentation and modify documentation to… #87

Delete comments in generate-documentation and modify documentation to…

Delete comments in generate-documentation and modify documentation to… #87

name: Generate and submit documentation
on:
push:
branches:
- fix/generate-documentation-workflow
jobs:
generate-documentation:
runs-on: self-hosted-k3s
steps:
- name: Checkout
uses: actions/checkout@v3
with:
persist-credentials: false
fetch-depth: 0
- name: Generate documentation
run: make doc
- name: Commit & Push changes
uses: actions-js/push@master
with:
branch: 'fix/generate-documentation-workflow'
github_token: ${{ secrets.AUTHORIZATION_TOKEN }}
message: "Update documentation"
- name: Configure Git
run: |
git config --global user.name 'github-actions'
git config --global user.email '[email protected]'
- name: Fetch all branches
run: git fetch --all
- name: Checkout target branch
run: git checkout fix/generate-documentation-workflow-test-merge
- name: Merge source branch into target branch
run: git merge fix/generate-documentation-workflow --no-ff
- name: Push changes
uses: actions-js/push@master
with:
branch: 'fix/generate-documentation-workflow-test-merge'
github_token: ${{ secrets.AUTHORIZATION_TOKEN }}