diff --git a/.github/workflows/update-karamel.yml b/.github/workflows/update-karamel.yml
index 72e5233ac68..e2f9aed8d7a 100644
--- a/.github/workflows/update-karamel.yml
+++ b/.github/workflows/update-karamel.yml
@@ -28,6 +28,7 @@ jobs:
       - uses: actions/checkout@v6
         with:
           submodules: true
+          token: ${{ secrets.DZOMO_GITHUB_TOKEN }}
 
       - name: Fast-forward karamel to upstream master
         id: update
@@ -50,7 +51,7 @@ jobs:
       - name: Close stale auto-update PRs
         if: steps.update.outputs.skip != 'true'
         env:
-          GH_TOKEN: ${{ github.token }}
+          GH_TOKEN: ${{ secrets.DZOMO_GITHUB_TOKEN }}
         run: |
           gh pr list --state open --json number,headRefName \
             -q '.[] | select(.headRefName | startswith("auto/update-karamel-")) | .number' \
@@ -62,7 +63,7 @@ jobs:
       - name: Create PR
         if: steps.update.outputs.skip != 'true'
         env:
-          GH_TOKEN: ${{ github.token }}
+          GH_TOKEN: ${{ secrets.DZOMO_GITHUB_TOKEN }}
           NEW_SHA: ${{ steps.update.outputs.new_sha }}
         run: |
           BRANCH="auto/update-karamel-$NEW_SHA"
diff --git a/karamel b/karamel
index 6229dc92e39..fdc019cc317 160000
--- a/karamel
+++ b/karamel
@@ -1 +1 @@
-Subproject commit 6229dc92e397109730c26ae5c9ae809c07adddaa
+Subproject commit fdc019cc3172c5f05d36e7ed45bda2ef6b1cac8d