diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 00000000..d0e5fa58
--- /dev/null
+++ b/.github/workflows/build.yml
@@ -0,0 +1,66 @@
+name: Main workflow
+
+on:
+  pull_request:
+  push:
+
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        os:
+          - macos-latest
+          - ubuntu-latest
+#          - windows-latest
+        ocaml-compiler:
+          - 4.12.x
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+
+      - name: Use OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+
+      - run: cd src; opam install . --deps-only --with-test
+
+      - run: opam install --yes menhir ppx_sexp_conv sexplib dune ppx_let ppx_custom_printf yaml
+
+      - name: Use Z3
+        uses: pavpanchekha/setup-z3@0.2.0
+        with:
+          version: '4.8.12'
+          distribution: 'glibc-2.31'
+        if: matrix.os == 'ubuntu-latest'
+
+      - name: Use Z3
+        uses: pavpanchekha/setup-z3@0.2.0
+        with:
+          version: '4.8.12'
+          distribution: 'osx-10.15.7'
+        if: matrix.os == 'macos-latest'
+  
+      - run: opam exec -- dune build test.exe
+        working-directory: ./src
+
+      - run: opam exec -- dune build test_suite.exe
+        working-directory: ./src
+
+      - run: opam exec -- dune build genFlags.exe
+        working-directory: ./src
+
+      - name: Set up JDK 11
+        uses: actions/setup-java@v2
+        with:
+          java-version: '11'
+          distribution: 'adopt'
+#      - name: Validate Gradle wrapper
+#        uses: gradle/wrapper-validation-action@v1
+      - name: Build with Gradle
+        run: ./gradlew installDist
+        working-directory: ./src/regnant
\ No newline at end of file
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index bc8ddf8c..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,28 +0,0 @@
-dist: bionic
-language: c
-addons:
-  apt:
-    sources:
-      - avsm
-    packages:
-      - opam
-      - ocaml
-      - libstdc++6
-      - libgomp1
-      - libgmp-dev
-      - python
-sudo: false
-cache:
-  directories:
-    - $HOME/.opam
-    - $HOME/jdk8
-
-before_install:
-- opam init --yes --no-setup --comp 4.08.0
-- eval $(opam env)
-
-install:
-- opam install --yes menhir ppx_sexp_conv sexplib dune ppx_let ppx_custom_printf yaml
-- travis_wait 30 opam install --yes z3
-
-script: bash -ex .travis-ci.sh