compile demo5 in a workflow too

Signed-off-by: Kakadu <Kakadu@pm.me>

Author: Kakadu

.github/workflows/master.yml

@@ -11,7 +11,7 @@ jobs:
       OPAMROOT: /home/user/.opam
       OPAMYES: true
 
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest
     container:
       image: kakadu18/ocaml:pltlab
       options: --user user
@@ -30,7 +30,11 @@ jobs:
 
       - run: opam pin . --yes --no-action
       - run: opam pin add https://github.com/PLTools/OCanren.git --yes
+      - run: opam pin add https://github.com/PLTools/noCanren.git --yes
+
       - run: opam install OCanren-base-example --yes --deps-only --with-test
       - run: opam exec -- dune build
       - run: opam exec -- dune runtest
       - run: opam exec -- make -C demo3make
+
+      - run: opam exec -- make -C demo5make