ci(formal): checkout formal models from canonical repo main

2026-02-01 01:17:26 -08:00
parent c83c19d9cd
commit 141dc1af4b
1 changed files with 2 additions and 1 deletions
--- a/.github/workflows/formal-conformance.yml
+++ b/.github/workflows/formal-conformance.yml
@@ -20,7 +20,8 @@ jobs:
      - name: Checkout formal models
        uses: actions/checkout@v4
        with:
-          repository: vignesh07/clawdbot-formal-models
+          repository: openclaw/clawdbot-formal-models
+          ref: main
          path: clawdbot-formal-models

      - name: Setup Node