From 9a0b416c6bc01463d645383ad040dd03c637bf12 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 31 Dec 2023 13:47:14 +0100
Subject: [PATCH] Setup Github Action

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

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
new file mode 100644
index 0000000..d7cfe3f
--- /dev/null
+++ 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