Setup Github Action

lthms · Dec 31, 2023 · 9a0b416 · 9a0b416
1 parent f9dc855
commit 9a0b416
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -0,0 +1,16 @@
+name: push
+run-name: Push workflow
+on: [push]
+jobs:
+  strategy:
+    matrix:
+      ocaml_compiler: [5.0.0, 5.1.1]
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - run: sudo apt install opam scdoc
+      - run: opam init -n --bare
+      - run: make build-deps OCAML_COMPILER="${{ matrix.ocaml_compiler }}"
+      - run: source $(opam env)
+      - run: make