Merge to master #301

	name: merge_to_master
	run-name: Merge to master

	on:
	push:
	branches:
	- master
	workflow_call:

	permissions:
	contents: read
	id-token: write # Necessary for the generate documentation job

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:

	run_tests:
	name: Run tests
	uses: ./.github/workflows/JOB_tests.yml

	documentation:
	name: Documentation
	uses: ./.github/workflows/JOB_generate_documentation.yml
	secrets: inherit
	permissions:
	id-token: write
	contents: read

	warn_on_fail:
	needs: [run_tests, documentation]
	if: ${{ failure() }}
	name: Slack message us on fail
	uses: ./.github/workflows/JOB_slack_message.yml
	secrets: inherit
	with:
	at_team: true
	icon: ':warning:'
	message: 'Master is failing after a push event, please review at ${{ github.event.repository.html_url }}/actions/runs/${{ github.run_id }}'

	success:
	needs: [run_tests, documentation]
	if: ${{ success() }}
	name: Success
	runs-on: ubuntu-latest
	permissions:
	contents: write
	statuses: write
	steps:
	- name: Harden Runner
	uses: step-security/harden-runner@5c7944e73c4c2a096b17a9cb74d65b6c2bbafbde # v2.9.1
	with:
	egress-policy: audit

	- name: Set branch status to success
	uses: actions/github-script@ffc2c79a5b2490bd33e0a41c1de74b877714d736 # v3.2.0
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	script: \|
	github.repos.createCommitStatus({
	owner: context.repo.owner,
	repo: context.repo.repo,
	sha: context.sha,
	state: 'success'
	})

Provide feedback