diff --git a/.github/workflows/type_check.yml b/.github/workflows/type_check.yml
index f1be9bf6e15d3e30dc007e6eab2136327f22fbbf..9a04b1b9436596776f5f8c1d5c11c2ea21a1b6d6 100644
--- a/.github/workflows/type_check.yml
+++ b/.github/workflows/type_check.yml
@@ -38,7 +38,7 @@ jobs:
     - name: install lambdapi
       run: |
         sudo apt install bmake
-        git clone https://github.com/Deducteam/lambdapi.git lambdapi
+        git clone https://github.com/gabrielhdt/lambdapi.git lambdapi
         (cd lambdapi || exit 1
          git checkout 900aa8c7448b72e26c061d92d372e88e620ca01a
          opam pin add lambdapi .)