GT/.github/workflows/master.yml at master · PLTools/GT · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
name: Build master in docker (OCaml 4.14)

on:
  push:
    branches:
      - 'master'
    paths-ignore:
      - 'README.md'
  pull_request:
    paths-ignore:
      - 'README.md'
    branches:
      - 'master'

env:
  OPAMCONFIRMLEVEL: unsafe-yes
  GT_WITH_DOCS: yes
  OPAMROOT: /home/opam/.opam

jobs:
  build:
    strategy:
      fail-fast: false
      matrix:
        containers: [ 'zanuda414' ]

    runs-on: ubuntu-latest
    container:
      image: kakadu18/ocaml:${{ matrix.containers }}

    concurrency:
      group: ${{ github.workflow }}-${{ github.ref }}-${{ matrix.containers }}
      cancel-in-progress: true

    steps:
      - name: Checkout code
        uses: actions/checkout@v7
        with:
          fetch-depth: 2

      - run: |
          sudo apt-get update
          sudo apt-get install pkg-config libpcre2-dev m4 xdot --no-install-recommends -y

      - run: opam --version

      - run: opam update

      - run: opam pin add bisect_ppx_ng https://github.com/Kakadu/bisect_ppx_ng.git\#rename --no-action

      - run: opam install . --deps-only --with-test --with-doc
      - run: opam exec -- dune build @check --profile=release
      - run: opam exec -- dune test --profile=release

      - name: Send coverage report to Coveralls
        run: |
          opam exec -- make coverage
          opam exec -- bisect-ppx-report send-to Coveralls --coverage-path $BISECT_DIR
        env:
          BISECT_DIR: /tmp/GTcov
          COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          PULL_REQUEST_NUMBER: ${{ github.event.number }}

      - name: Installing using Opam
        run: |
          opam exec -- dune build @install
          opam exec -- dune install


      - name: Build API documentation
        if: github.event_name != 'pull_request'
        run: |
          opam exec -- make install odig
          echo "ODIG_DOC_LOC=$(opam exec -- odig cache path)/html" >> $GITHUB_ENV

      - name: Deploy documentation
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir:  ${{ env.ODIG_DOC_LOC }}

      - name: Installing using Opam
        run: opam pin add GT ./

      - name: List files
        run: opam show --list-files GT