From 9bd689554d5e73ff321287812bf54f2cd2ef272c Mon Sep 17 00:00:00 2001 From: Kakadu Date: Tue, 30 Jul 2024 16:45:08 +0300 Subject: [PATCH] CI Signed-off-by: Kakadu --- .github/workflows/master.yml | 7 ------- .github/workflows/master52.yml | 37 +++------------------------------- 2 files changed, 3 insertions(+), 41 deletions(-) diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml index 99bb71a2..69cb6e85 100644 --- a/.github/workflows/master.yml +++ b/.github/workflows/master.yml @@ -47,17 +47,10 @@ jobs: git config --global --add safe.directory /__w/GT/GT #git submodule update --init - - run: opam pin add GT . --no-action - if: false - - - run: opam depext GT --yes #--with-test - if: false - name: Install dependecies for documentation run: | sudo apt-get install pkg-config libpcre2-dev -y - #opam install odoc pa_ppx --yes --depext - #opam install odoc pa_ppx --yes - run: opam install . --deps-only --with-test --with-doc - run: opam exec -- dune build @check --profile=release diff --git a/.github/workflows/master52.yml b/.github/workflows/master52.yml index c59c2edd..9a44f1ea 100644 --- a/.github/workflows/master52.yml +++ b/.github/workflows/master52.yml @@ -1,9 +1,6 @@ name: Build master in docker (OCaml 5.2) on: - # pull_request: - # branches: - # - 'master' push: branches: - 'master' @@ -44,29 +41,19 @@ jobs: - run: opam --version - name: bisect many not work without it + if: false #we will not run coverage in 5.2 run: | git config --global --add safe.directory /__w/GT/GT #git submodule update --init - - run: opam pin add GT . --no-action - if: false - - - run: opam depext GT --yes #--with-test - if: false - name: Install dependecies for documentation - if: false run: | sudo apt-get install pkg-config libpcre2-dev -y - #opam install odoc pa_ppx --yes --depext - #opam install odoc pa_ppx --yes - run: opam install . --deps-only --with-test --with-doc - - run: opam exec -- dune build --profile=release - - run: opam exec -- dune test --profile=release - - - name: Build documentation - run: opam exec -- dune build -p GT @doc + - run: opam exec -- dune build @check --profile=release + - run: opam exec -- dune test --profile=release - name: Installing using Opam run: | @@ -75,21 +62,3 @@ jobs: - name: List files run: opam show --list-files GT - - # disabled, because we will do a deploy from OCaml 4.14 - # - name: Deploy documentation - # if: ${{ github.event.pull_request.head.repo.full_name == 'PLTools/OCanren' }} - # uses: peaceiris/actions-gh-pages@v3 - # with: - # github_token: ${{ secrets.GITHUB_TOKEN }} - # publish_dir: ./_build/default/_doc/_html - - # - name: Send coverage report to Coveralls - # run: | - # #git config --global --add safe.directory /__w/zanuda/zanuda - # 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 }}