Merge pull request #56 from yilinwei/master

Add Github CI
mmottl · Aug 1, 2024 · 4ab1d4b · 4ab1d4b
2 parents 4ed60a7 + de9c9fa
commit 4ab1d4b
Showing 1 changed file with 34 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -0,0 +1,34 @@
+name: Main workflow
+
+on:
+  - pull_request
+  - push
+  - workflow_dispatch
+
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - os: ubuntu-latest
+            ocaml-compiler: 4.14.0
+          - os: macos-latest
+            ocaml-compiler: 4.13.1
+
+    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: opam install -t --deps-only .
+
+      - run: opam exec -- make
+
+      - run: opam exec -- make -C test