Merge pull request #27 from scipopt/hedtke-scip-920 #42

	name: "Pages"

	on:
	push:
	branches: [ "main" ]

	jobs:
	github_pages:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: ssciwr/doxygen-install@v1
	with:
	version: "1.20.0"
	- uses: ts-graphviz/setup-graphviz@v1
	- name: Prepare Doxygen Config
	run: echo "PROJECT_NUMBER = ${GITHUB_REF}" >> Doxyfile
	- name: Run Doxygen
	run: doxygen
	- run: \|
	cd html
	git init
	git add -A
	git config --local user.email "action@github.com"
	git config --local user.name "GitHub Action"
	git commit -m 'deploy'
	- uses: ad-m/github-push-action@v0.6.0
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: gh-pages
	force: true
	directory: ./html

Provide feedback