From ae55fbd0678453db94a12541fab7ec7ee9c4160e Mon Sep 17 00:00:00 2001
From: Stefan Lippuner <3071885+stefanlippuner@users.noreply.github.com>
Date: Fri, 22 Sep 2023 09:21:58 +0200
Subject: [PATCH] Add CI configuration for Github (on push / pull request)

---
 .github/workflows/ci.yml | 45 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 .github/workflows/ci.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 00000000..742475e8
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,45 @@
+on: [push, pull_request]
+
+name: CI
+
+jobs:
+  generation:
+    name: Generation
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Setup Python venv
+        run: |
+          python3 -m venv .venv
+          source .venv/bin/activate
+          python -V
+          pip install -r requirements.txt
+
+      - name: Test Generation
+        run: |
+          cd proto
+          python3 tests.py
+
+  interaction:
+    name: Interaction
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Install GHDL
+        run: sudo apt-get install ghdl
+
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Setup Python venv
+        run: |
+          python3 -m venv .venv
+          source .venv/bin/activate
+          python -V
+          pip install -r requirements.txt
+
+      - name: Test Generation
+        run: |
+          cd testfiles/tb
+          ./run.sh