From dc6d1f54b3da9b70fa7877bf92d1b3332a066ff5 Mon Sep 17 00:00:00 2001
From: Jens Keim <pepper-jk@users.noreply.github.com>
Date: Mon, 7 Feb 2022 14:37:34 +0100
Subject: [PATCH] add config for github actions

only ubuntu 20.04 and 18.04 for now
don't add ubuntu 16.04 since github actions has no nodes available for it apparently
---
 .github/workflows/main.yml | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 .github/workflows/main.yml

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
new file mode 100644
index 00000000..966531d3
--- /dev/null
+++ b/.github/workflows/main.yml
@@ -0,0 +1,38 @@
+# This is a basic workflow to help you get started with Actions
+
+name: CI
+
+# Controls when the workflow will run
+on:
+  # Triggers the workflow on push or pull request events but only for the master branch
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+# A workflow run is made up of one or more jobs that can run sequentially or in parallel
+jobs:
+  linux:
+    # The type of runner that the job will run on
+    runs-on: ${{ matrix.os }}
+
+    strategy:
+      matrix:
+        os: [ubuntu-latest, ubuntu-18.04]
+
+    # Steps represent a sequence of tasks that will be executed as part of the job
+    steps:
+      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
+      - uses: actions/checkout@v2
+
+      - name: Install Dependencies
+        run: ./resources/install_dependencies.sh
+
+      - name: Build ID2T
+        run: ./build.sh --non-interactive
+
+      - name: Run Tests
+        run: ./run_tests