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

@@ -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
+ ./gradlew :jpf-symbc:test