Merge pull request #183 from PLTools/stream-iteration-cps #117
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build master | |
| on: | |
| push: | |
| paths-ignore: | |
| - 'doc/**' | |
| - README.md | |
| # do not run CI if we are writing a paper | |
| # https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#example-ignoring-paths | |
| branches: | |
| - 'master' | |
| #schedule: | |
| # - cron: "0 13 * * 1" | |
| # https://jasonet.co/posts/scheduled-actions/ | |
| env: | |
| #OCANREN_STATS: yes | |
| OCANREN_DOCS: yes | |
| OPAMROOT: /home/user/.opam | |
| jobs: | |
| build: | |
| runs-on: ubuntu-24.04 | |
| container: | |
| image: kakadu18/ocaml:pltools | |
| options: --user user | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| steps: | |
| - run: opam --version | |
| - run: opam exec -- ocamlopt --version | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - run: opam update | |
| - name: Install dev version of GT | |
| run: | | |
| opam source GT --dev-repo | |
| opam install GT/GT.opam --deps-only --with-test --yes | |
| opam exec -- dune b @install -p GT | |
| opam exec -- dune install -p GT | |
| - name: List installed packages | |
| run: opam list | |
| - name: Install dependencies for documentation | |
| run: opam install odoc pa_ppx --yes | |
| - run: opam install . --yes --deps-only --with-test --with-doc | |
| - name: List installed packages | |
| run: opam list | |
| - run: opam exec -- make #dune build | |
| - run: opam exec -- make test # dune runtest | |
| #### API documentation | |
| - name: Build API documentation | |
| run: opam exec -- dune build @doc | |
| - name: Deploy API documentation | |
| if: ${{ github.event.pull_request.head.repo.full_name == 'PLTools/OCanren' }} | |
| # We do not deploy in forks | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./_build/default/_doc/_html | |
| destination_dir: api |