Update gtrepo_level.yml

OCR-D · Jan 16, 2024 · 9808a4d · 9808a4d
1 parent 3e5e272
commit 9808a4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gtrepo_level.yml b/.github/workflows/gtrepo_level.yml
@@ -170,7 +170,7 @@ jobs:
 
           - name: leveling the volume and documents 
             run: |
-              java -jar saxon-he-10.5.jar -xsl:scripts/parser.xsl \
+              java -jar saxon-he-12.3.jar -xsl:scripts/parser.xsl \
               repoName=$GITHUB_REPOSITORY \
               -s:scripts/parser.xsl -o:ghout/overview-level.md
             shell: bash