diff --git a/.github/workflows/formal-conformance.yml b/.github/workflows/formal-conformance.yml
index 8e2fdd0bc6..f8a9f82570 100644
--- a/.github/workflows/formal-conformance.yml
+++ b/.github/workflows/formal-conformance.yml
@@ -20,7 +20,7 @@ jobs:
       - name: Checkout formal models
         uses: actions/checkout@v4
         with:
-          repository: openclaw/clawdbot-formal-models
+          repository: vignesh07/clawdbot-formal-models
           ref: main
           path: clawdbot-formal-models