CI

Signed-off-by: Kakadu <[email protected]>

.github/workflows/master.yml

@@ -32,13 +32,10 @@ jobs:
       #options: --user opam               # dirty hack
 
     steps:
-      - name: Cancel Previous Runs
-        uses: styfle/[email protected]
-        with:
-          access_token: ${{ github.token }}
-
       - name: Checkout code
         uses: actions/checkout@v4
+        with:
+          fetch-depth: 1
 
       - run: |
           sudo apt-get update
@@ -60,7 +57,7 @@ jobs:
         run: |
           sudo apt-get install pkg-config libpcre2-dev -y
           #opam install odoc pa_ppx --yes --depext
-          opam install odoc pa_ppx --yes
+          #opam install odoc pa_ppx --yes
 
       - run: opam install . --deps-only --with-test --with-doc
       - run: opam exec -- dune build @check --profile=release
@@ -75,11 +72,6 @@ jobs:
           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
@@ -100,8 +92,8 @@ jobs:
           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
+        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 }}

.github/workflows/master52.yml

@@ -29,7 +29,8 @@ jobs:
     runs-on: ${{ matrix.os }}
     container:
       image: ocaml/opam:ubuntu-lts-ocaml-5.2
-      options: --user root               # dirty hack
+      options: --user root # Kind of important dirty hack
+      #options: --user opam               # dirty hack
 
     steps:
       - name: Checkout code
@@ -42,7 +43,7 @@ jobs:
           sudo apt-get install pkg-config libpcre2-dev m4 -y
       - run: opam --version
 
-      - name: Update submodules
+      - name: bisect many not work without it
         run: |
           git config --global --add safe.directory /__w/GT/GT
           #git submodule update --init
@@ -58,7 +59,7 @@ jobs:
         run: |
           sudo apt-get install pkg-config libpcre2-dev -y
           #opam install odoc pa_ppx --yes --depext
-          opam install odoc pa_ppx --yes
+          #opam install odoc pa_ppx --yes
 
       - run: opam install . --deps-only --with-test --with-doc
       - run: opam exec -- dune build  --profile=release

GT.opam

@@ -34,7 +34,7 @@ depends: [
   "conf-m4" {build}
   "odoc" {with-doc}
   "odig" {with-doc}
-  "pa-ppx" {with-doc}
+  "pa_ppx" {with-doc}
 ]
 build: [
   ["dune" "subst"] {dev}

dune-project

@@ -45,7 +45,7 @@
   (conf-m4 :build)
   (odoc :with-doc)
   (odig :with-doc)
-  (pa-ppx :with-doc)
+  (pa_ppx :with-doc)
   ;
   ))