chore: bump actions/checkout from 4.1.5 to 4.1.6 (#70) #27

	name: Deploy Documentation
	on:
	workflow_dispatch:
	push:
	branches: [master]
	jobs:
	deploy-documentation:
	runs-on: ubuntu-20.04
	permissions:
	id-token: write
	pages: write
	environment:
	name: github-pages
	url: ${{ steps.deploy-pages.outputs.page_url }}
	concurrency:
	group: pages
	cancel-in-progress: true
	steps:
	- name: Checkout this repository
	uses: actions/[email protected]
	with:
	path: musen

	- name: Install documentation dependencies
	run: \|
	sudo apt-get update
	sudo apt-get install -y doxygen

	- name: Create a build directory
	run: mkdir build

	- name: Configure CMake
	working-directory: build
	run: cmake ../musen

	- name: Build documentation
	working-directory: build
	run: make doc

	- name: Upload Documentation
	uses: actions/[email protected]
	with:
	path: musen/doc

	- name: Deploy Pages
	id: deploy-pages
	uses: actions/[email protected]

Provide feedback