diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml deleted file mode 100644 index e5b89b0..0000000 --- a/.github/workflows/master.yml +++ /dev/null @@ -1,98 +0,0 @@ -name: Build Master - -on: - pull_request: - branches: - - 'master' - push: - branches: - - 'master' - -jobs: - build: - strategy: - fail-fast: false - matrix: - os: - - ubuntu-latest - ocaml-compiler: - #- 4.10.x - #- ocaml-variants.4.11.2+flambda - #- ocaml-variants.4.12.0+options,ocaml-option-flambda - #- 4.13.0+trunk - #- ocaml-variants.4.13.0+options,ocaml-option-flambda - - ocaml-variants.4.14.0+options,ocaml-option-flambda - opam-disable-sandboxing: - - true - dune-cache: - - true - - runs-on: ${{ matrix.os }} - - steps: - - name: Cancel Previous Runs - uses: styfle/cancel-workflow-action@0.7.0 - with: - access_token: ${{ github.token }} - - - run: sudo apt-get update -y - - # checking out the code seems to be important because local switch is used - - name: Checkout code - uses: actions/checkout@v2 - with: - fetch-depth: 0 # fix me later - - - name: Use OCaml ${{ matrix.ocaml-compiler }} - #uses: ocaml/setup-ocaml@v2 - uses: ocaml/setup-ocaml@5319ab427f3840efb109b436a4e6f047dcd9db9f - # working around issue with depext and opam 2.1 - with: - ocaml-compiler: ${{ matrix.ocaml-compiler }} - dune-cache: true - - - name: Installing dependencies - run: | - opam install . --deps-only --with-test --with-doc - - - name: Building... - run: | - opam exec -- dune build - - - name: Running tests... - run: | - opam exec -- dune runtest - - - name: Build API documentation - run: opam exec -- dune build @doc - - - name: Deploy API documentation - uses: peaceiris/actions-gh-pages@v3 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./_build/default/_doc/_html - keep_files: true - destination_dir: api - - - run: opam exec -- dune build @install --profile=release - - name: Build linter descriptions... - run: mkdir -p _build/_lintinfo && opam exec -- dune exec zanuda -- -dump-lints _build/_lintinfo/lints.json - - - name: Deploy linters' descriptions - uses: peaceiris/actions-gh-pages@v3 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: _build/_lintinfo - keep_files: true - destination_dir: lints - - - name: Deploy linters' descriptions to another repo - uses: peaceiris/actions-gh-pages@v3 - with: - personal_token: ${{ secrets.PERSONAL_TOKEN }} - publish_dir: _build/_lintinfo - external_repository: Kakadu/kakadu.github.io - destination_dir: zanuda - publish_branch: master - keep_files: true - enable_jekyll: true diff --git a/.github/workflows/master_docker.yml b/.github/workflows/master_docker.yml index 69806a1..b306afe 100644 --- a/.github/workflows/master_docker.yml +++ b/.github/workflows/master_docker.yml @@ -48,8 +48,8 @@ jobs: - name: Installing dependencies run: | - opam pin add zanuda ./ -n - opam depext zanuda -y + opam pin add ./ -n + opam depext zanuda reviewer -y opam install . --deps-only --with-test --with-doc - name: Building...