Skip to content

Workflow file for this run

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 diplomatic editions with Ant
run: ant -noinput -buildfile build-diplomatic.xml
- name: Build critical editions with Ant
run: ant -noinput -buildfile build-critical.xml
- name: Updating the edited texts in the repository
run: |
git config user.name github-actions
git config user.email [email protected]
git add output/
git commit -m "XML files are created"
git push