diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 84a3fd9..366622d 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -32,3 +32,29 @@ jobs: - run: opam exec -- dune build @fmt @check @runtest -j3 - run: opam exec -- dune runtest - run: opam exec -- zanuda -no-top_file_license -no-check-filesystem -dir . + + task19: + strategy: + fail-fast: false + + runs-on: ubuntu-latest + defaults: + run: + working-directory: ./p19 + + steps: + - name: Checkout tree + uses: actions/checkout@v4 + + - name: Set-up OCaml + uses: ocaml/setup-ocaml@v3 + with: + ocaml-compiler: 4.14 + + - run: opam install . --deps-only --with-test + - run: opam install zanuda + - run: opam install ounit2 + - run: rm -rf _build + - run: opam exec -- dune build @fmt @check @runtest -j3 + - run: opam exec -- dune runtest + - run: opam exec -- zanuda -no-top_file_license -no-check-filesystem -dir .