Ignore device number mismatch on overlay filesystem (Linux only) #6

	on:
	push:
	branches: [master]

	jobs:
	gh-pages:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: install doxygen
	run: \|
	sudo apt-get update
	sudo apt-get install -y doxygen
	- name: genereate docs
	run: \|
	doxygen
	sed -i -e 's/:smiley:/\😃/g' -e 's/:skull:/\💀/g' html/index.html
	- name: push docs
	run: \|
	git fetch --depth=1 origin gh-pages
	git checkout gh-pages
	rm -rf docs
	mv html docs
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Action (docs)"
	git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}
	git diff --quiet \|\| (git add docs && git commit -m 'Add docs' && git push origin gh-pages && echo Add docs)

Provide feedback