CI

Signed-off-by: Kakadu <Kakadu@pm.me>
PLTools · Jul 30, 2024 · 9bd6895 · 9bd6895
1 parent ce4f6a2
commit 9bd6895
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 41 deletions.
diff --git 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
@@ -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 }}