CI

Signed-off-by: Kakadu <[email protected]>
PLTools · Jul 30, 2024 · 84467fb · 84467fb
1 parent 59be806
commit 84467fb
Show file tree

Hide file tree

Showing 2 changed files with 35 additions and 18 deletions.
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
@@ -66,36 +66,46 @@ jobs:
       - run: opam exec -- dune build  --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: Build documentation
+        if: false
         run: opam exec -- dune build -p GT @doc
 
       - name: Installing using Opam
         run: |
           opam exec -- dune build @install
           opam exec -- dune install
 
-      - name: List files
-        run: opam show --list-files GT
-
       - name: Deploy documentation
-        if: ${{ github.event.pull_request.head.repo.full_name == 'PLTools/OCanren' }}
+        #if: ${{ github.event.pull_request.head.repo.full_name == 'PLTools/OCanren' }}
+        if: false
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./_build/default/_doc/_html
 
-- 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: Send coverage report to Coveralls
+      - name: Build API documentation
+        if: github.event_name != 'pull_request'
         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 }}
+          opam exec -- make install odig
+          echo "ODIG_DOC_LOC=$(opam exec -- odig cache path)/html" >> $GITHUB_ENV
+
+      - name: Deploy documentation
+        #if: ${{ github.event.pull_request.head.repo.full_name == 'PLTools/OCanren' }}
+        if: false
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir:  ${{ env.ODIG_DOC_LOC }}
+
+      - name: List files
+        run: opam show --list-files GT
diff --git a/Makefile b/Makefile
@@ -43,6 +43,13 @@ uninstall:
 	dune build @install $(DFLAGS)
 	dune uninstall $(DFLAGS)
 
+.PHONY: odig
+ODIG_SWITCHES = --odoc-theme=odig.gruvbox.light
+ODIG_SWITCHES += --no-tag-index
+ODIG_SWITCHES += --no-pkg-deps
+odig:
+	odig odoc $(ODIG_SWITCHES) GT
+
 .PHONY: coverage
 TEST_COV_D ?= /tmp/GTcov
 coverage: