chore(deps): Bump extendable-media-recorder from 9.1.6 to 9.1.7 #1091

	name: OpenAPI

	on: pull_request

	permissions:
	contents: read

	concurrency:
	group: openapi-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	jobs:
	openapi:
	runs-on: ubuntu-latest

	if: ${{ github.repository_owner != 'nextcloud-gmbh' }}

	steps:
	- name: Checkout
	uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab # v3.5.2

	- name: Set up php
	uses: shivammathur/setup-php@c5fc0d8281aba02c7fda07d3a70cc5371548067d # v2
	with:
	php-version: '8.2'
	extensions: xml
	coverage: none
	ini-file: development
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	- name: Set up dependencies
	run: composer i

	- name: Regenerate OpenAPI
	run: composer run openapi

	- name: Check openapi.json changes
	run: \|
	bash -c "[[ ! \"`git status --porcelain `\" ]] \|\| (echo 'Please run \"composer run openapi\" and commit the openapi.json, see the section \"Show changes on failure\" for details' && exit 1)"

	- name: Show changes on failure
	if: failure()
	run: \|
	git status
	git --no-pager diff
	exit 1 # make it red to grab attention

Provide feedback