fix tlc action

oxarbitrage · Oct 23, 2024 · 1c7172e · 1c7172e
1 parent d0eea3b
commit 1c7172e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/tlc-model-check.yml b/.github/workflows/tlc-model-check.yml
@@ -17,11 +17,12 @@ jobs:
     - name: Checkout code
       uses: actions/checkout@v3
 
-    # Install Java (TLC requires Java to run)
+    # Install Java
     - name: Set up Java
       uses: actions/setup-java@v3
       with:
-        java-version: '11'
+        distribution: 'temurin'
+        java-version: '21'
 
     # Run the TLA+ Model Checker (TLC)
     - name: Run TLC model checker