From ba0426e8f035e597785252e6c7b313409331e294 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 3 Oct 2023 15:03:08 +0200
Subject: [PATCH] test ocaml 5

---
 .github/workflows/main.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 9d869f295..e871b223f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -37,6 +37,16 @@ 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: |
+        opam install ./coq-elpi.opam
+
   release:
     runs-on: ubuntu-latest
     if: startsWith(github.ref, 'refs/tags/')