diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 50698c2..d6a3860 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -22,7 +22,7 @@ jobs:
 
     env:
       OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
-      OPAM_PINS: "coq version 8.17.0   isla-lang git git+https://git@github.com/rems-project/isla-lang.git#4ee3daa3a9f04b2d6a55dd94026ff5f9d79db5fc"
+      OPAM_PINS: "coq version 8.17.0   isla-lang git git+https://github.com/ric-almeida/isla-lang.git"
       CPU_CORES: "1"
       DENY_WARNINGS: "1"
       CI_RUNNER: "dummy"
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 83f61bc..d8b6903 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,7 +33,7 @@ variables:
 build-coq.8.17.0-timing:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.17.0   isla-lang git git+https://git@github.com/rems-project/isla-lang.git#4ee3daa3a9f04b2d6a55dd94026ff5f9d79db5fc"
+    OPAM_PINS: "coq version 8.17.0   isla-lang git git+https://github.com/ric-almeida/isla-lang.git"
     DENY_WARNINGS: "1"
     # OPAM_PKG: "1"
   only:
@@ -46,7 +46,7 @@ build-coq.8.17.0-timing:
 build-coq.8.17.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.17.0   isla-lang git git+https://git@github.com/rems-project/isla-lang.git#4ee3daa3a9f04b2d6a55dd94026ff5f9d79db5fc"
+    OPAM_PINS: "coq version 8.17.0   isla-lang git git+https://github.com/ric-almeida/isla-lang.git"
     DENY_WARNINGS: "1"
   only:
   - /^ci/@iris/isla-coq
@@ -54,7 +54,7 @@ build-coq.8.17.0:
 trigger-iris.dev:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.17.0   coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV   coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#$IRIS_REV  isla-lang git git+https://git@github.com/rems-project/isla-lang.git#4ee3daa3a9f04b2d6a55dd94026ff5f9d79db5fc"
+    OPAM_PINS: "coq version 8.17.0   coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV   coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#$IRIS_REV  isla-lang git git+https://github.com/ric-almeida/isla-lang.git"
   except:
   only:
   - triggers