From 141dc1af4bbf8f095a9f4bd03c2669ce4121313b Mon Sep 17 00:00:00 2001 From: vignesh07 Date: Sun, 1 Feb 2026 01:17:26 -0800 Subject: [PATCH] ci(formal): checkout formal models from canonical repo main --- .github/workflows/formal-conformance.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/formal-conformance.yml b/.github/workflows/formal-conformance.yml index 7a2fa63a6..8e2fdd0bc 100644 --- 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