Upgrade Java (#194)

Use Java 17. Co-authored-by: Manu Sridharan <[email protected]>
wala · May 28, 2024 · b813bde · b813bde
1 parent 60955d6
commit b813bde
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -13,10 +13,10 @@ jobs:
     steps:
     - name: Check out wala/ML sources
       uses: actions/checkout@v3
-    - name: Set up JDK 11
+    - name: Set up JDK 17
       uses: actions/setup-java@v3
       with:
-        java-version: '11'
+        java-version: '17'
         distribution: 'temurin'
         cache: maven
     - name: Install Python.

diff --git a/.travis.yml b/.travis.yml
@@ -1,7 +1,7 @@
 os: linux
 dist: jammy
 language: java
-jdk: openjdk11
+jdk: openjdk17
 before_install:
  - pip install -r requirements.txt
  - mvn spotless:check -B

diff --git a/pom.xml b/pom.xml
@@ -24,8 +24,8 @@
   </distributionManagement>
   <properties>
     <project-version>0.0.1-SNAPSHOT</project-version>
-    <maven.compiler.source>1.8</maven.compiler.source>
-    <maven.compiler.target>1.8</maven.compiler.target>
+    <maven.compiler.source>17</maven.compiler.source>
+    <maven.compiler.target>17</maven.compiler.target>
     <maven.compiler.version>3.10.1</maven.compiler.version>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <build-alias>b000</build-alias>