Allows working copy of the Portal #3757

	name: zpretty
	on: [push,pull_request]
	jobs:
	build:
	if: github.event_name != 'pull_request' \|\| github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
	runs-on: ubuntu-latest
	strategy:
	fail-fast: false
	matrix:
	python-version: [3.12]

	steps:
	# git checkout
	- uses: actions/checkout@v4

	# python setup
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}
	cache: pip

	# install zpretty
	- name: install zpretty
	run: pip install zpretty

	# run zpretty
	- name: run zpretty
	run: find src/ -name *.zcml \| xargs zpretty -i

	# run git diff
	- name: run git diff
	run: git diff --exit-code

Provide feedback