test ocaml 5

LPCIC · Oct 3, 2023 · e77b81c · e77b81c
1 parent a6a75f9
commit e77b81c
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -37,6 +37,17 @@ jobs:
       env:
         OPAMWITHTEST: 'true'
 
+  play:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: avsm/setup-ocaml@v2
+      with:
+        ocaml-compiler: 5.1.x
+    - run:
+        make build
+        make test
+
   release:
     runs-on: ubuntu-latest
     if: startsWith(github.ref, 'refs/tags/')