From 8798687bf4adcf77ddaf68c011ff364ca450c21e Mon Sep 17 00:00:00 2001
From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com>
Date: Sat, 1 Jun 2024 10:48:27 -0400
Subject: [PATCH] Update CI config (#95)

* Update CI file

* Add new line at the end

* Add new line at the end

* Remove comment
---
 .github/workflows/main.yml | 20 +++++---------------
 1 file changed, 5 insertions(+), 15 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index e282d2f5f..29682857a 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -2,10 +2,10 @@ name: Gradle Package
 
 on:
   push:
-    branches: [ main-gk ]
+    branches: [ gradle-build ]
 
   pull_request:
-    branches: [ main-gk ]
+    branches: [ gradle-build ]
   workflow_dispatch:
 
 
@@ -15,8 +15,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ubuntu-latest, macos-latest]
-
+        os: [ubuntu-latest]
 
     steps:
 
@@ -25,29 +24,20 @@ jobs:
       with:
         submodules: recursive
         fetch-depth: 0
-        
-
-    - name: Updating Git-submodule
-      run: |
-        git submodule update --init --recursive
-        git submodule foreach --recursive git fetch
-        git submodule foreach git merge origin master 
 
     - name: Set up JDK 1.8
       uses: actions/setup-java@v3
       with:
         java-version: 8
-        distribution: 'adopt'
+        distribution: 'temurin'
         cache: gradle
 
-
     - name: Building jpf-symbc with Gradle
       run: |
         git submodule update --recursive
         ./gradlew :jpf-core:buildJars
         ./gradlew :jpf-symbc:buildJar
       
-
     - name: Testing jpf-symbc with Junit version 4.2
       run: |
-        ./gradlew :jpf-symbc:test
\ No newline at end of file
+        ./gradlew :jpf-symbc:test