merge with opprop master

Author: AndrewShf

.ci-build-without-test.sh

@@ -0,0 +1,30 @@
+#!/bin/bash
+
+echo Entering "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")" in `pwd`
+
+set -e
+
+export SHELLOPTS
+
+if [ "$(uname)" == "Darwin" ] ; then
+  export JAVA_HOME=${JAVA_HOME:-$(/usr/libexec/java_home)}
+else
+  export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(readlink -f $(which javac))))}
+fi
+
+if [ -d "/tmp/plume-scripts" ] ; then
+  git -C /tmp/plume-scripts pull -q
+else
+  git -C /tmp clone --depth 1 -q https://github.com/eisop-plume-lib/plume-scripts.git
+fi
+
+
+export CFI="${CFI:-$(pwd -P)/../checker-framework-inference}"
+
+## Build Checker Framework Inference (which also clones & builds dependencies)
+/tmp/plume-scripts/git-clone-related opprop checker-framework-inference ${CFI}
+(cd $CFI && ./.ci-build-without-test.sh)
+
+./gradlew assemble
+
+echo Exiting "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")" in `pwd`

.ci-build.sh

@@ -0,0 +1,12 @@
+#!/bin/bash
+
+echo Entering "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")" in `pwd`
+
+# Fail the whole script if any command fails
+set -e
+
+export SHELLOPTS
+
+. ./.ci-build-without-test.sh
+
+./gradlew test

.github/workflows/main.yml

@@ -0,0 +1,32 @@
+name: CI
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  build:
+    strategy:
+      matrix:
+        jdk: [ 8, 11, 17 ]
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Pull Request Checkout
+        uses: actions/checkout@v2
+        with:
+          ref: ${{github.event.pull_request.head.ref}}
+          repository: ${{github.event.pull_request.head.repo.full_name}}
+        if: github.head_ref != ''
+      - name: Push Checkout
+        uses: actions/checkout@v2
+        if: github.head_ref == ''
+      - name: Set up JDK
+        uses: actions/setup-java@v2
+        with:
+          java-version: ${{matrix.jdk}}
+          distribution: 'temurin'
+      - name: Build and test
+        run: ./.ci-build.sh