Remove Java 16 support

veraPDF · May 10, 2024 · 3935aa8 · 3935aa8
1 parent 7052f49
commit 3935aa8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -9,8 +9,6 @@ jobs:
     name: Checkout and Build
     runs-on: ubuntu-latest
 
-    continue-on-error: true
-
     strategy:
       fail-fast: false
       matrix:
@@ -20,6 +18,7 @@ jobs:
       - uses: actions/checkout@v4
       - name: JDK setup
         uses: actions/setup-java@v4
+        continue-on-error: true
         with:
           java-version: ${{ matrix.java-version }}
           distribution: 'temurin'

diff --git a/org.verapdf/src/org/verapdf/Model.xtext b/org.verapdf/src/org/verapdf/Model.xtext
@@ -19,7 +19,7 @@ Attribute:
 	Property | Link
 ;
 
-Property:
+Propert
 	(comment += COMMENT)*
 	'property' name = ID ':' type = ('String' | 'Integer' | 'Decimal' | 'Boolean' | 'Set<String>' | 'List<String>' | 'List<List<String>>')';'
 ;