From 4e94b2f470236b4cd757708a4673eb99b15b528d Mon Sep 17 00:00:00 2001
From: Eric Eilebrecht <eric@certora.com>
Date: Mon, 23 Oct 2023 16:08:30 -0700
Subject: [PATCH] Settings for jitpack

---
 .github/workflows/build.yml   |  2 +-
 .github/workflows/release.yml | 43 -----------------------------------
 jitpack.yml                   |  2 ++
 3 files changed, 3 insertions(+), 44 deletions(-)
 delete mode 100644 .github/workflows/release.yml
 create mode 100644 jitpack.yml

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 2fc7341..ee8923b 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -5,7 +5,7 @@
 # This workflow will build a Java project with Gradle and cache/restore any dependencies to improve the workflow execution time
 # For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-gradle
 
-name: Build
+name: Build and Test
 
 on:
   push:
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
deleted file mode 100644
index cd48739..0000000
--- a/.github/workflows/release.yml
+++ /dev/null
@@ -1,43 +0,0 @@
-# This workflow uses actions that are not certified by GitHub.
-# They are provided by a third-party and are governed by
-# separate terms of service, privacy policy, and support
-# documentation.
-# This workflow will build a package using Gradle and then publish it to GitHub packages when a release is created
-# For more information see: https://github.com/actions/setup-java/blob/main/docs/advanced-usage.md#Publishing-using-gradle
-
-name: Publish to GitHub Packages
-
-on:
-  release:
-    types: [created]
-
-jobs:
-  build:
-
-    runs-on: ubuntu-latest
-    permissions:
-      contents: read
-      packages: write
-
-    steps:
-    - uses: actions/checkout@v3
-    - name: Set up JDK 11
-      uses: actions/setup-java@v3
-      with:
-        java-version: '11'
-        distribution: 'temurin'
-        server-id: github 
-        settings-path: ${{ github.workspace }}
-
-    - name: Build with Gradle
-      uses: gradle/gradle-build-action@bd5760595778326ba7f1441bcf7e88b49de61a25 # v2.6.0
-      with:
-        arguments: build -Prelease
-
-    - name: Publish to GitHub Packages
-      uses: gradle/gradle-build-action@bd5760595778326ba7f1441bcf7e88b49de61a25 # v2.6.0
-      with:
-        arguments: publish -Prelease
-      env:
-        GITHUB_ACTOR: ${{ github.actor }}
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/jitpack.yml b/jitpack.yml
new file mode 100644
index 0000000..adb3fe1
--- /dev/null
+++ b/jitpack.yml
@@ -0,0 +1,2 @@
+jdk:
+  - openjdk11