Add github actions CI.

Author: gebner

.github/workflows/build.yml

@@ -0,0 +1,47 @@
+on:
+  pull_request:
+  push:
+    branches:
+      - '*'
+    tags:
+      - '*'
+
+name: ci
+
+jobs:
+  build:
+    name: Build
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+
+      - uses: actions/setup-java@v2
+        with:
+          distribution: 'adopt'
+          java-version: '16'
+
+      - name: install sbt
+        run: |
+          pushd ..
+          sbt_version=1.5.1
+          wget https://github.com/sbt/sbt/releases/download/v$sbt_version/sbt-$sbt_version.tgz
+          tar xf sbt-$sbt_version.tgz
+          echo $PWD/sbt/bin >>$GITHUB_PATH
+          popd
+
+      - name: build trepplein
+        run: sbt compile
+
+      - name: create release zip
+        run: sbt universal:packageBin
+
+      - name: release
+        uses: softprops/action-gh-release@v1
+        if: startsWith(github.ref, 'refs/tags/')
+        with:
+          files: target/universal/*.zip
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: run unit tests
+        run: sbt test

build.sbt

@@ -3,6 +3,7 @@ description := "Independent type-checker for the dependently typed theorem prove
 homepage := Some(url("https://github.com/gebner/trepplein"))
 startYear := Some(2017)
 licenses := Seq("Apache-2.0" -> url("https://www.apache.org/licenses/LICENSE-2.0.html"))
+maintainer := "[email protected]"
 
 version := "1.0"
 

project/build.properties

@@ -1 +1 @@
-sbt.version = 1.4.7
+sbt.version = 1.5.1

project/plugins.sbt

@@ -3,4 +3,4 @@ logLevel := Level.Warn
 
 resolvers += Resolver.sbtPluginRepo("releases")
 addSbtPlugin("org.scalariform" % "sbt-scalariform" % "1.8.3")
-addSbtPlugin("com.typesafe.sbt" % "sbt-native-packager" % "1.8.0")
+addSbtPlugin("com.typesafe.sbt" % "sbt-native-packager" % "1.8.1")