diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index afab9609..e97f4b35 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -76,7 +76,8 @@ jobs:
     steps:
       - uses: actions/checkout@v4
         with:
-          repository: cryspen/libcrux
+          repository: Nadrieril/libcrux
+          ref: dev-shell
       - run: |
           nix develop --command cargo generate-lockfile
           nix build --refresh -L '.#ml-kem' \