master.yml

name: Build master

on:
  push:
    branches:
      - 'master'

jobs:
  build:
    env:
      OPAMROOT: /home/user/.opam
      OPAMYES: true

    runs-on: ubuntu-22.04
    container:
      image: kakadu18/ocaml:pltlab
      options: --user user

    steps:
      - run: opam --version
      - run: opam exec -- ocamlopt --version

      - name: Cancel Previous Runs
        uses: styfle/cancel-workflow-action@0.11.0
        with:
          access_token: ${{ github.token }}

      - name: Checkout code
        uses: actions/checkout@v3

      - run: opam pin . --yes --no-action
      - run: opam pin add https://github.com/PLTools/OCanren.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