Support of GitHub actions for automatic checking (#9)

.github/workflows/main.yml

@@ -0,0 +1,42 @@
+name: build
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest]
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v2
+        with:
+          fetch-depth: 0
+      - name: Set up JDK 11
+        uses: actions/setup-java@v2
+        with:
+          java-version: 11
+          distribution: "adopt"
+
+      - name: build jpf-core
+        run:
+          cd $HOME/work/jpf-nhandler;
+          git clone https://github.com/javapathfinder/jpf-core.git;
+          cd jpf-core;
+          ./gradlew build
+
+      - name: create site.properties file
+        run:
+          mkdir $HOME/.jpf;
+          echo "jpf-core = ${HOME}/work/jpf-nhandler/jpf-core" >> $HOME/.jpf/site.properties;
+          echo "jpf-numeric = ${HOME}/work/jpf-nhandler/jpf-numeric" >> $HOME/.jpf/site.properties;
+          echo "jpf-aprop = ${HOME}/work/jpf-nhandler/jpf-aprop" >> $HOME/.jpf/site.properties;
+          echo "extensions=${HOME}/work/jpf-nhandler/jpf-core,${HOME}/work/jpf-nhandler/jpf-aprop" >> $HOME/.jpf/site.properties;
+          echo "jpf-nhandler = ${HOME}/work/jpf-nhandler/jpf-nhandler" >> $HOME/.jpf/site.properties
+
+      - name: Build and test jpf-nhandler
+        run:
+          ./gradlew clean check

.gitignore

@@ -7,3 +7,4 @@ onthefly/
 *~
 *.DS_Store
 *.swp
+.idea