some small fixes to the annotations #18
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This workflow will build a Java project with Maven | |
# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-maven | |
name: Convert odd to rng schema | |
on: | |
push: | |
branches: [ main ] | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v2 | |
- name: Set up JDK 11 | |
uses: actions/setup-java@v2 | |
with: | |
java-version: '11' | |
distribution: 'adopt' | |
- name: Convert odd to odd including software list | |
run: | | |
sudo bash utilities/odd2oddSoftwareList.sh | |
- name: Convert odd to rng schema | |
run: | | |
sudo bash utilities/odd2rng.sh | |
- name: Commit files | |
run: | | |
git config --local user.email "[email protected]" | |
git config --local user.name "GitHub Action" | |
git add schema/tei_software_annotation.xml | |
git add schema/tei_software_annotation.rng | |
git add schema/tei_jtei_annotated.odd | |
git add schema/tei_jtei_annotated.rng | |
git commit -m "Add updated odd and generated rng" | |
- name: Push changes | |
uses: ad-m/github-push-action@master | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} |