From cc89ebe163b9c737eeabbe96f3ec944b3be705f9 Mon Sep 17 00:00:00 2001
From: Cyril Bouvier <cyril.bouvier@lirmm.fr>
Date: Fri, 15 Mar 2024 16:39:28 +0100
Subject: [PATCH] Add workflow for Ibex CI

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

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
new file mode 100644
index 000000000..999a30102
--- /dev/null
+++ b/.github/workflows/tests.yml
@@ -0,0 +1,19 @@
+name: Tests
+on: push
+jobs:
+  cmake-build-and-check:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4.1.1
+      - name: CMake
+        run: |
+          mkdir build
+          cd build
+          cmake -DINTERVAL_LIB=${{ matrix.interval_lib }} -DLP_LIB={{ matrix.lp_lib }} ..
+      - run: make
+      - run: make check
+    strategy:
+      matrix:
+        interval_lib: [gaol, filib]
+        lp_lib: [none]