Update to OCaml 5.0 implementation of effects

.github/workflows/prs.yml

@@ -0,0 +1,16 @@
+name: Build
+
+on:
+  push:
+    branches: [ "master" ]
+  pull_request:
+    branches: [ "master" ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - name: Run docker build
+      run: docker build .

Dockerfile

@@ -0,0 +1,17 @@
+FROM ocaml/opam:ubuntu-lts-ocaml-5.0
+
+RUN opam install ocamlbuild ocamlfind
+
+COPY sources/Makefile ./sources/
+COPY sources/*.ml ./sources/
+
+COPY sources/solved/Makefile ./sources/solved/
+COPY sources/solved/*.ml ./sources/solved/
+
+WORKDIR sources
+
+RUN sudo bash -c "eval $(opam env) make all"
+
+WORKDIR solved
+
+RUN sudo bash -c "eval $(opam env) make all"