Merge branch 'hotfix-doc-build' #65

	name: Lint and validate OpenAPI specs
	on:
	- push
	- pull_request_target
	jobs:
	lint:
	name: Lint OpenAPI definition
	runs-on: ubuntu-latest
	steps:
	- name: Check out head branch
	uses: actions/checkout@v3
	- name: Run OpenAPI Lint Action
	uses: nwestfall/[email protected]
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	file: openapi/workflow_execution_service.openapi.yaml
	diff:
	name: Show OpenAPI differences relative to target branch
	runs-on: ubuntu-latest
	if: ${{ github.event_name == 'pull_request' }}
	steps:
	- name: Check out head branch
	uses: actions/checkout@v3
	with:
	ref: ${{ github.ref }}
	path: head
	- name: Check out base branch
	uses: actions/checkout@v3
	with:
	ref: ${{ github.event.pull_request.base.ref }}
	path: base
	- name: Run OpenAPI Diff Action
	uses: mvegter/[email protected]
	with:
	head-spec: head/openapi/workflow_execution_service.openapi.yaml
	base-spec: base/openapi/workflow_execution_service.openapi.yaml

	validate:
	name: Validate OpenAPI definition
	runs-on: ubuntu-latest
	steps:
	- name: Check out head branch
	uses: actions/checkout@v3
	- name: Run OpenAPI Validate Action
	uses: char0n/swagger-editor-validate@v1
	with:
	definition-file: openapi/workflow_execution_service.openapi.yaml

Provide feedback