check out datalog branch in github actions

jonsterling · Oct 20, 2024 · 2e68d7a · 2e68d7a
1 parent fd8d598
commit 2e68d7a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -24,6 +24,7 @@ jobs:
         run: |
           git clone https://git.sr.ht/~jonsterling/ocaml-forester
           cd ocaml-forester
+          git checkout datalog
           opam pin add -y .
 
       - name: Setup TeX Live