merge fix/generate-documentation-workflow into fix/generate-documenta… #96

	name: Generate and submit documentation
	on:
	push:
	branches:
	- test/runner_scale_sets_for_ci

	jobs:
	generate-documentation:
Check failure on line 8 in .github/workflows/generate-and-submit-documentation.yaml View workflow run for this annotation GitHub Actions / .github/workflows/generate-and-submit-documentation.yaml Invalid workflow file `You have an error in your yaml syntax on line 8`
	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
	# run: \|
	# git clone https://github.com/Crypto-TII/claasp.git claasp-lib
	# git config --global user.name 'Github'
	# git config --global user.email ${{ secrets.DEPLOYMENT_REPOSITORY_EMAIL }}
	# cd claasp-lib
	# git checkout fix/generate-documentation-workflow-test-commit
	# make doc
	# git add .
	# git commit -m "Update documentation"
	# git push origin fix/generate-documentation-workflow-test-commit
	# git merge fix/generate-documentation-workflow-test-commit fix/generate-documentation-workflow-test-merge

	- name: Commit & Push changes
	uses: actions-js/push@master
	with:
	branch: 'test/runner_scale_sets_for_ci'
	github_token: ${{ secrets.GITHUB_TOKEN }}
	message: "Update documentation"

	- name: Update develop branch
	uses: morbalint/git-merge-action@v1
	with:
	target: 'fix/generate-documentation-workflow-test-merge'
	source: 'test/runner_scale_sets_for_ci'
	strategy_options: 'ours'
	token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback