revised #171

	name: Pipeline manuscripts

	on:
	push

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- name: Set up JDK 1.8
	uses: actions/setup-java@v3
	with:
	distribution: 'zulu'
	java-version: '17'

	- name: Build critical editions with Ant
	run: ant -noinput -buildfile build-critical.xml

	- name: Transforming the edited texts in the repository for display
	run: \|
	git config user.name github-actions
	git config user.email [email protected]
	git add .
	git commit -m "XML files are created"
	git push

Provide feedback