CI: use the proper Karamel branch

tahina-pro · tahina-pro · commit b8cdc4b4989d · 2026-03-16T18:31:59.000Z
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -58,7 +58,7 @@ jobs:
         with:
           path: karamel
           repository: FStarLang/karamel
-          ref: d6607b99477640cb1e5d423d5cbe709d76da61f7
+          ref: 50d52e10c7b3b6815759152cca882d8c979a5204
 
       - name: Try fetch built karamel
         id: cache-karamel
