Merge pull request #46 from nim-lang/devel #15

	on:
	push:
	branches:
	- master

	jobs:
	gh-docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	ref: "gh-pages"
	- name: "install_nim"
	id: install_nim
	uses: iffy/install-nim@v5
	- name: Set CI config github
	run: \|
	git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	- name: Fetch
	run: git fetch
	- name: Rebase
	run: git rebase -Xours origin/master
	- name: NimbleDevelop
	run: nimble develop -y
	- name: Gendoc
	run: nimble gendoc
	- name: Commit files
	run: \|
	echo ${{ github.ref }}
	git add -f docs
	git commit -m "CI: Automated build push" -a \| exit 0
	- name: Force push to destination branch
	uses: ad-m/[email protected]
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: gh-pages
	force: true
	directory: ./docs

Provide feedback