Add workflow for Ibex CI

ibex-team · Mar 15, 2024 · cc89ebe · cc89ebe
1 parent 7bb4d92
commit cc89ebe
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml 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/[email protected]
+      - 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]