Settings for jitpack (#6)

Certora · Oct 23, 2023 · a89098d · a89098d
1 parent 9825771
commit a89098d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 44 deletions.
diff --git 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
diff --git a/jitpack.yml b/jitpack.yml
@@ -0,0 +1,2 @@
+jdk:
+  - openjdk11