Update CI to use fresh version of GT

Signed-off-by: Kakadu <Kakadu@pm.me>
PLTools · Jul 13, 2023 · f4dfe69 · f4dfe69
1 parent b1a4cb7
commit f4dfe69
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.github/workflows/PR.yml b/.github/workflows/PR.yml
@@ -26,6 +26,10 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v3
 
+
+      - name: Install dev version of GT
+        run: opam source GT --dev-repo
+
       - name: Install dependencies for documentation
         run: opam install odoc pa_ppx --yes
 

diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
@@ -37,6 +37,12 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v3
 
+      - run: opam update
+      - name: Install dev version of GT
+        run: |
+          opam source GT --dev-repo
+          opam pin add GT ./GT -y
+
       - name: Install dependencies for documentation
         run: opam install odoc pa_ppx --yes