Public algorithm interface renaming using snake_case (#942) #54

	name: Docs

	on:
	push:
	branches:
	- master

	jobs:
	doc:
	if: "github.repository == 'eth-cscs/DLA-Future'"
	runs-on: ubuntu-22.04

	steps:
	- name: Install tools
	run: \|
	sudo apt-get update
	sudo apt-get install --no-install-recommends doxygen
	- name: Checkout
	uses: actions/checkout@v3
	- name: Fetch docs
	run: git fetch --no-tags --depth=1 origin +refs/heads/docs:refs/heads/docs
	- name: Make Docs
	run: \|
	cd doc && make doc && cd .. && mv doc/html master
	- name: Push Docs
	run: \|
	COMMIT_MSG=`git log -n 1 --pretty=format:%s`
	git config user.name "Doc CI Action" && git config user.email "[email protected]"
	git symbolic-ref HEAD refs/heads/docs && git reset
	git add master && git commit --allow-empty -m "Doc $COMMIT_MSG" && git push --set-upstream origin docs

Provide feedback