Add type annotations #944

	name: copyright
	on:
	pull_request:
	paths:
	- 'src/**'
	- '!**.md'
	push:
	paths:
	- 'src/**'
	- '!**.md'
	workflow_dispatch:

	permissions:
	contents: read

	jobs:
	main:
	name: Enforce copyright notices
	runs-on: ubuntu-latest

	steps:
	- name: Checkout
	uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7

	- name: Set up Python
	uses: actions/setup-python@82c7e631bb3cdc910f68e0081d67478d79c6982d # v5.1.0
	with:
	python-version: 3

	- name: Run copyright checker
	run: \|
	bash ./src/build_utils/license/apply_copyright
	if [[ "$(git status \| grep modified)" != "" ]]; then
	echo "Some sourcefiles are missing copyright notice!" 1>&2
	echo "Run ./src/build_utils/license/apply_copyright to apply." 1>&2
	exit 1
	fi

Provide feedback