Setup Github Action

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