chore: tag PR with interface-spec #1

	name: Interface Specification
	on:
	pull_request:
	paths:
	- .github/workflows/interface-spec.yml
	- docs/references/http-gateway-protocol-spec.md
	- docs/references/ic-interface-spec.md
	- docs/references/_attachments/certificates.cddl
	- docs/references/_attachments/http-gateway.did
	- docs/references/_attachments/ic.did
	- docs/references/_attachments/interface-spec-changelog.md
	- docs/references/_attachments/requests.cddl
	push:
	branches:
	- main
	jobs:
	cddl:
	name: Check cddl files
	runs-on: ubuntu-latest
	steps:
	- name: Checkout code
	uses: actions/checkout@v2
	- name: Check cddl files
	run: \|
	docker run --rm -v $PWD/docs/references/_attachments:/workdir ghcr.io/anweiss/cddl-cli:0.9.1 compile-cddl --cddl /workdir/certificates.cddl
	docker run --rm -v $PWD/docs/references/_attachments:/workdir ghcr.io/anweiss/cddl-cli:0.9.1 compile-cddl --cddl /workdir/requests.cddl
	candid:
	name: Check candid files
	runs-on: ubuntu-latest
	steps:
	- name: Checkout code
	uses: actions/checkout@v2
	- name: Check candid files
	run: \|
	curl -L https://github.com/dfinity/candid/releases/download/2023-07-25/didc-linux64 -o didc
	chmod +x didc
	./didc check docs/references/_attachments/http-gateway.did
	./didc check docs/references/_attachments/ic.did
	interface-spec-tag:
	name: Tag PR with interface-spec
	if: ${{ github.event_name == 'pull_request' }}
	runs-on: ubuntu-latest
	steps:
	- name: Tag PR with interface-spec
	run: \|
	gh pr edit ${{ github.event.pull_request.number }} --add-label interface-spec
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback