diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 0000000..7bc52b9
--- /dev/null
+++ b/.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
diff --git a/build.sbt b/build.sbt
index 8ad9447..5f6a5b2 100644
--- a/build.sbt
+++ b/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 := "gebner@gebner.org"
 
 version := "1.0"
 
diff --git a/project/build.properties b/project/build.properties
index d18a12e..7bb94aa 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1 +1 @@
-sbt.version = 1.4.7
+sbt.version = 1.5.1
diff --git a/project/plugins.sbt b/project/plugins.sbt
index c31c4c2..0f9af86 100644
--- a/project/plugins.sbt
+++ b/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")